K 10
svn:author
V 5
jceel
K 8
svn:date
V 27
2012-07-31T22:24:44.614253Z
K 7
svn:log
V 144
* Apply pmap_devmap enhancements to ARMv6 pmap.
* Fix setting sc->gic_dev in GIC driver
* Apply execute bit to vectors page (relevant on ARMv6)

END