| commit | 4d577ac8f18e08290e4536803d564ad85e3c3a88 | [log] [tgz] |
|---|---|---|
| author | Andreas Sandberg <andreas.sandberg@arm.com> | Thu May 26 11:56:24 2016 +0100 |
| committer | Andreas Sandberg <andreas.sandberg@arm.com> | Thu May 26 11:56:24 2016 +0100 |
| tree | 3a2574f1652de2f1c081750dbfd9c6a569e3f4fd | |
| parent | d023b7e8dba012298d6396ae4734755ce1f194d1 [diff] |
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>