README: missing SDK layout dirs/files

Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Oct 28, 2024 · 01a2780 · 01a2780
1 parent 87ed491
commit 01a2780
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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/