diff --git a/_data/projects/sel4.yml b/_data/projects/sel4.yml
index 9221a5b459..f50fdd4219 100644
--- 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 in March 2024 of the implementation as well as detailed documentation."
     roadmap_type: in-progress