Merge branch 'master' into tqma8xqp

seL4 · Dec 9, 2023 · f34ab52 · f34ab52
2 parents 3ba2b80 + 8a58fbe
commit f34ab52
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sel4test-hw/build.py b/sel4test-hw/build.py
@@ -31,7 +31,8 @@ def hw_build(manifest_dir: str, build: Build):
     script = [
         ["../init-build.sh"] + build.settings_args(),
         ["ninja"],
-        ["tar", "czf", f"../{build.name}-images.tar.gz", "images/"]
+        ["tar", "czf", f"../{build.name}-images.tar.gz", "images/"],
+        ["cp", "kernel/kernel.elf", f"../{build.name}-kernel.elf"]
     ]
 
     return run_build_script(manifest_dir, build, script)