From 07ce60bdfa57eedf00f533704b5a2da3fa01b553 Mon Sep 17 00:00:00 2001 From: Curtis Dunham Date: Fri, 16 Jan 2015 14:12:03 -0600 Subject: 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. --- configs/common/Options.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'configs/common/Options.py') 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", -- cgit v1.2.3