diff options
author | Chris Emmons <Chris.Emmons@arm.com> | 2015-03-19 04:06:14 -0400 |
---|---|---|
committer | Chris Emmons <Chris.Emmons@arm.com> | 2015-03-19 04:06:14 -0400 |
commit | 142ab40c4b57315e20c924d0615470ee24f46d9e (patch) | |
tree | ea8fb6bcea5b95fbbef2ab28d5530843a8f36fb6 /src/dev/arm/Gic.py | |
parent | 9b4d8030e6d106e8ddae7b9940fe8f07d2621660 (diff) | |
download | gem5-142ab40c4b57315e20c924d0615470ee24f46d9e.tar.xz |
config: Specify OS type and release on command line
This patch enables users to speficy --os-type on the command
line. This option is used to take specific actions for an OS type,
such as changing the kernel command line. This patch is part of the
Android KitKat enablement.
Diffstat (limited to 'src/dev/arm/Gic.py')
0 files changed, 0 insertions, 0 deletions