From 01a2780c4db9d26e22ae70289ceaaa7c99ae3a6b Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Mon, 28 Oct 2024 20:10:36 +1100
Subject: [PATCH] README: missing SDK layout dirs/files

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

diff --git a/README.md b/README.md
index e1ffca10..9141d2a8 100644
--- a/README.md
+++ b/README.md
@@ -184,6 +184,9 @@ The SDK top-level directory is `microkit-sdk-$VERSION`.
 The directory layout underneath the top-level directory is:
 
 ```
+VERSION
+LICENSE.md
+LICENSES/$licence.txt
 doc/
 doc/microkit_user_manual.pdf
 bin/