K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-12-26T14:22:39.405791Z
K 7
svn:log
V 68
Allow the gic driver to be build with or without support for intrng

END