arm: disable GIC extensions
authorCurtis Dunham <Curtis.Dunham@arm.com>
Thu, 22 Sep 2016 13:46:37 +0000 (14:46 +0100)
committerCurtis Dunham <Curtis.Dunham@arm.com>
Thu, 22 Sep 2016 13:46:37 +0000 (14:46 +0100)
commit109cc2caa6fbdfe6231336e56b9ae2158a13804f
treed36ab22b2caec23256f4cc58861bf010e04c7706
parent7eb168746c3aae51ab839f09fd93159f36c3ec5f
arm: disable GIC extensions

Change-Id: If19b9c593b48ded1ea848f2d3710d4369ec8a221
Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
src/dev/arm/Gic.py