Adjust to "run: rename hw boot/image.elf"

Issue genodelabs/genode#5182
cnuke · Apr 17, 2024 · 3f88eca · 3f88eca
1 parent 840d417
commit 3f88eca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tool/run/image/pine_uboot_sdcard b/tool/run/image/pine_uboot_sdcard
@@ -1,6 +1,6 @@
 proc run_image { } {
 
-	set elf_img [file join [run_dir] boot image.elf]
+	set elf_img [file join [run_dir] boot [kernel_specific_binary image.elf]]
 
 	set sgdisk     [installed_command sgdisk]
 	set mkenvimage [installed_command mkenvimage]