diff options
| author | Curtis Dunham <Curtis.Dunham@arm.com> | 2015-01-16 14:12:03 -0600 |
|---|---|---|
| committer | Curtis Dunham <Curtis.Dunham@arm.com> | 2015-01-16 14:12:03 -0600 |
| commit | 07ce60bdfa57eedf00f533704b5a2da3fa01b553 (patch) | |
| tree | 7127baf93ec9357f0d48fd00c8e5c529478e2e59 /configs/common/Options.py | |
| parent | 5bfa7e3d59138b0b440e5b2e67e8077c1d59c34b (diff) | |
| download | gem5-07ce60bdfa57eedf00f533704b5a2da3fa01b553.tar.xz | |
config: add --root-device machine parameter
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.
Diffstat (limited to 'configs/common/Options.py')
| -rw-r--r-- | configs/common/Options.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configs/common/Options.py b/configs/common/Options.py index ea3de8691..07059f23b 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -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", |