derek/gem5
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

config: add --root-device machine parameter

Browse Source 
In case /dev/sda1 is not actually the boot partition for an image,
we can override it on the command line or in a benchmark definition.
This commit is contained in:
Curtis Dunham
2015-01-16 14:12:03 -06:00
parent 5bfa7e3d59
commit 07ce60bdfa
4 changed files with 18 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
configs/common/Options.py
View File

@@ -274,6 +274,8 @@ def addFSOptions(parser):
# Disk Image Options
parser.add_option("--disk-image", action="store", type="string", default=None,
help="Path to the disk image to use.")
parser.add_option("--root-device", action="store", type="string", default=None,
help="OS device name for root partition")
# Command line options
parser.add_option("--command-line", action="store", type="string",