From 43a74d3fc666d11505ef389d56ba264c6cc773cc Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Tue, 22 Oct 2024 16:07:29 +1100
Subject: [PATCH] README: add notes when building SDK

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

diff --git a/README.md b/README.md
index 09c6f44d..60c6326a 100644
--- a/README.md
+++ b/README.md
@@ -129,6 +129,12 @@ Testing has been performed using commit `4cae30a6ef166a378d4d23697b00106ce7e4e76
 
     $ ./pyenv/bin/python build_sdk.py --sel4=<path to sel4>
 
+The SDK will be in `release/`.
+
+See the help menu of `build_sdk.py` for configuring how the SDK is built:
+
+    $ ./pyenv/bin/python build_sdk.py --help
+
 ## Using the SDK
 
 After building the SDK you probably want to build a system!