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.

1 files changed, 6 insertions, 3 deletions

diff --git a/configs/example/fs.py b/configs/example/fs.py
index 9609b25a2..83b9b3267 100644
--- a/configs/example/fs.py
+++ b/configs/example/fs.py
@@ -313,10 +313,13 @@ if options.benchmark:
         sys.exit(1)
 else:
     if options.dual:
-        bm = [SysConfig(disk=options.disk_image, mem=options.mem_size),
-              SysConfig(disk=options.disk_image, mem=options.mem_size)]
+        bm = [SysConfig(disk=options.disk_image, rootdev=options.root_device,
+                        mem=options.mem_size),
+              SysConfig(disk=options.disk_image, rootdev=options.root_device,
+                        mem=options.mem_size)]
     else:
-        bm = [SysConfig(disk=options.disk_image, mem=options.mem_size)]
+        bm = [SysConfig(disk=options.disk_image, rootdev=options.root_device,
+                        mem=options.mem_size)]
 
 np = options.num_cpus