Configuration: Update the drive systems kernel as well as the testsys kernel with...

--HG--
extra : convert_revision : 5dfb0db65452c0b7aa3e2dc2a0209e3f8e23811f

diff --git a/configs/example/fs.py b/configs/example/fs.py
index 76c12bd9eed6e962fd783d11263ed98b4a00fede..e772a3ab1223bc43a3242360641de897da0af73a 100644 (file)
--- 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)