From 70bd425f91a4da4756642b1700a31506a8bfe11b Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 28 Feb 2024 12:48:40 +1100
Subject: [PATCH] README: fix in SDK layout

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 9ff1ef59..0a7fc6c4 100644
--- 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
 ```