K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-05-10T09:33:03.618327Z
K 7
svn:log
V 147
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.

END