Clarify seL4 Microkit example system in roadmap

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Dec 4, 2023 · 5be2163 · 5be2163
1 parent f1fe82b
commit 5be2163
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_data/projects/sel4.yml b/_data/projects/sel4.yml
@@ -1151,5 +1151,5 @@ roadmap:
     display_name: seL4 Microkit example system
     description: A non-trivial example system built using Microkit with various drivers and OS services
     assigned: UNSW
-    status: "Ongoing. A prototype will be released at the end of 2023, with the full release in March 2024."
+    status: "Ongoing. An initial opens-ource release in March 2024 with implementation and documentation."
     roadmap_type: in-progress