README: mention roadmap

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Oct 19, 2023 · 95a4ab3 · 95a4ab3
1 parent 128543c
commit 95a4ab3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -17,6 +17,8 @@ The Microkit is distributed as a software development kit (SDK).
 
 This repository is the source for the Microkit SDK.
 
+The development of Microkit is on-going, more information can be found on the [roadmap](https://github.com/seL4/microkit/issues/61).
+
 If you are *developing* Microkit itself this is the repo you want!
 
 If you are a system designer and want to *use* the Microkit SDK please download a pre-built SDK.