Clarify seL4 Microkit example system in roadmap

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Dec 6, 2023 · a2efcf9 · a2efcf9
1 parent f1fe82b
commit a2efcf9
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. There will be an initial open-source release of the implementation (as well as detailed documentation) in March 2024."
     roadmap_type: in-progress