Andrew Turner e4ca149905 Add the gic to files.arm under "device gic" and use it with the
CUBIEBOARD2 config. This is common across a few SoCs so should be a common
option.
2015-05-10 09:33:03 +00:00
..
2015-04-18 00:35:00 +00:00
2015-04-18 00:35:00 +00:00