diff options
| author | Andreas Sandberg <andreas.sandberg@arm.com> | 2016-05-26 11:56:24 +0100 |
|---|---|---|
| committer | Andreas Sandberg <andreas.sandberg@arm.com> | 2016-05-26 11:56:24 +0100 |
| commit | 4d577ac8f18e08290e4536803d564ad85e3c3a88 (patch) | |
| tree | 3a2574f1652de2f1c081750dbfd9c6a569e3f4fd /src/dev/arm/rv_ctrl.hh | |
| parent | d023b7e8dba012298d6396ae4734755ce1f194d1 (diff) | |
| download | gem5-4d577ac8f18e08290e4536803d564ad85e3c3a88.tar.xz | |
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>
Diffstat (limited to 'src/dev/arm/rv_ctrl.hh')
0 files changed, 0 insertions, 0 deletions