From 8a58fbe69da63132f68504e8ac91cfcaeafdf561 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 8 Dec 2023 14:18:09 +0100 Subject: [PATCH] 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 --- sel4test-hw/build.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/sel4test-hw/build.py b/sel4test-hw/build.py index f54be849..46432562 100644 --- 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)