andrew 599ec55705 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-05-07 16:56:20 +00:00
2015-04-04 23:03:11 +00:00