From a2efcf94849df9ec1c562320bbb5e4a6625b94f4 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Mon, 4 Dec 2023 13:21:31 +1100 Subject: [PATCH] Clarify seL4 Microkit example system in roadmap Signed-off-by: Ivan Velickovic --- _data/projects/sel4.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_data/projects/sel4.yml b/_data/projects/sel4.yml index 9221a5b459..b72489cf28 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 of the implementation (as well as detailed documentation) in March 2024." roadmap_type: in-progress