README: fix in SDK layout

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Feb 28, 2024 · 70bd425 · 70bd425
1 parent a12e1f0
commit 70bd425
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -162,7 +162,7 @@ board/$board/$config/lib/libmicrokit.a
 board/$board/$config/lib/microkit.ld
 board/$board/$config/elf/
 board/$board/$config/elf/loader.elf
-board/$board/$config/elf/kernel.elf
+board/$board/$config/elf/sel4.elf
 board/$board/$config/elf/monitor.elf
 ```