sel4test-hw: prepare kernel.elf build artifact

Leave kernel.elf under a predictable name for each build variant in a place where GitHub artifact upload can later find it. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Dec 9, 2023 · 8a58fbe · 8a58fbe
1 parent 0723e6e
commit 8a58fbe
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)