From 2aea11a10e0b0c1dc81da415d8890f3da31a0371 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Mon, 24 Jun 2024 08:58:08 +0000
Subject: [PATCH] nix: Fix loader.img link filename

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 hacking/nix/scope/microkit/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hacking/nix/scope/microkit/default.nix b/hacking/nix/scope/microkit/default.nix
index 2861d4531..9f78aa212 100644
--- 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"; }