summaryrefslogtreecommitdiff
path: root/configs/example
diff options
context:
space:
mode:
authorChris Emmons <Chris.Emmons@arm.com>2015-03-19 04:06:14 -0400
committerChris Emmons <Chris.Emmons@arm.com>2015-03-19 04:06:14 -0400
commit142ab40c4b57315e20c924d0615470ee24f46d9e (patch)
treeea8fb6bcea5b95fbbef2ab28d5530843a8f36fb6 /configs/example
parent9b4d8030e6d106e8ddae7b9940fe8f07d2621660 (diff)
downloadgem5-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 'configs/example')
-rw-r--r--configs/example/fs.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/configs/example/fs.py b/configs/example/fs.py
index 83b9b3267..98c7db480 100644
--- a/configs/example/fs.py
+++ b/configs/example/fs.py
@@ -314,12 +314,12 @@ if options.benchmark:
else:
if options.dual:
bm = [SysConfig(disk=options.disk_image, rootdev=options.root_device,
- mem=options.mem_size),
+ mem=options.mem_size, os_type=options.os_type),
SysConfig(disk=options.disk_image, rootdev=options.root_device,
- mem=options.mem_size)]
+ mem=options.mem_size, os_type=options.os_type)]
else:
bm = [SysConfig(disk=options.disk_image, rootdev=options.root_device,
- mem=options.mem_size)]
+ mem=options.mem_size, os_type=options.os_type)]
np = options.num_cpus