dev, arm: Add a flag to enable/disable gem5 GIC extensions
authorAndreas Sandberg <andreas.sandberg@arm.com>
Thu, 26 May 2016 10:56:24 +0000 (11:56 +0100)
committerAndreas Sandberg <andreas.sandberg@arm.com>
Thu, 26 May 2016 10:56:24 +0000 (11:56 +0100)
commit4d577ac8f18e08290e4536803d564ad85e3c3a88
tree3a2574f1652de2f1c081750dbfd9c6a569e3f4fd
parentd023b7e8dba012298d6396ae4734755ce1f194d1
dev, arm: Add a flag to enable/disable gem5 GIC extensions

Make it possible to disable gem5 gic extensions by setting the
gem5_extensions param to False from Python.

Change-Id: Icb255105925ef49891d69cc9fe5cc55578ca066d
Signed-off-by: Andreas Sandberg <andreas.sandberg@arm.com>
Reviewed-by: Geoffrey Blake <geoffrey.blake@arm.com>
src/dev/arm/Gic.py
src/dev/arm/gic_pl390.cc
src/dev/arm/gic_pl390.hh