nix: Fix loader.img link filename

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jun 24, 2024 · 2aea11a · 2aea11a
1 parent d732058
commit 2aea11a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hacking/nix/scope/microkit/default.nix b/hacking/nix/scope/microkit/default.nix
@@ -127,7 +127,7 @@ let
         loader = "${self}/loader.img";
         links = [
           { name = "pds"; path = searchPath; }
-          { name = "loader.elf"; path = loader; }
+          { name = "loader.img"; path = loader; }
           { name = "report.txt"; path = "${self}/report.txt"; }
           { name = "sdk/monitor.elf"; path = "${sdk}/board/${board}/${config}/elf/monitor.elf"; }
           { name = "sdk/loader.elf"; path = "${sdk}/board/${board}/${config}/elf/loader.elf"; }