diff options
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/example/fs.py | 3 | ||||
| -rw-r--r-- | configs/example/se.py | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/configs/example/fs.py b/configs/example/fs.py index 76c12bd9e..e772a3ab1 100644 --- a/configs/example/fs.py +++ b/configs/example/fs.py @@ -134,6 +134,9 @@ if len(bm) == 2: drive_sys = makeSparcSystem(drive_mem_mode, bm[1]) drive_sys.cpu = DriveCPUClass(cpu_id=0) drive_sys.cpu.connectMemPorts(drive_sys.membus) + if options.kernel is not None: + drive_sys.kernel = binary(options.kernel) + root = makeDualRoot(test_sys, drive_sys, options.etherdump) elif len(bm) == 1: root = Root(system=test_sys) diff --git a/configs/example/se.py b/configs/example/se.py index b294480f6..20fe75a21 100644 --- a/configs/example/se.py +++ b/configs/example/se.py @@ -64,7 +64,7 @@ if args: process = LiveProcess() process.executable = options.cmd -process.cmd = options.cmd + " " + options.options +process.cmd = [options.cmd] + options.options.split() if options.input != "": process.input = options.input |