config: add --root-device machine parameter
authorCurtis Dunham <Curtis.Dunham@arm.com>
Fri, 16 Jan 2015 20:12:03 +0000 (14:12 -0600)
committerCurtis Dunham <Curtis.Dunham@arm.com>
Fri, 16 Jan 2015 20:12:03 +0000 (14:12 -0600)
commit07ce60bdfa57eedf00f533704b5a2da3fa01b553
tree7127baf93ec9357f0d48fd00c8e5c529478e2e59
parent5bfa7e3d59138b0b440e5b2e67e8077c1d59c34b
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/Benchmarks.py
configs/common/FSConfig.py
configs/common/Options.py
configs/example/fs.py