diff options
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 173bd483c..1405012d6 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -444,6 +444,8 @@ def addFSOptions(parser): action="store_true", help="Enable stats dump at context "\ "switches and dump tasks file (required for Streamline)") parser.add_option("--vio-9p", action="store_true", help=vio_9p_help) + parser.add_option("--bootloader", action='append', + help="executable file that runs before the --kernel") # Benchmark options parser.add_option("--dual", action="store_true", |