From d4bd9b052c49ad29717261850e89ceb121480626 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Thu, 14 Sep 2023 20:40:18 +1000 Subject: [PATCH] Add Trustworthy Systems seL4 projects to roadmap Signed-off-by: Ivan Velickovic --- _data/projects/sel4.yml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/_data/projects/sel4.yml b/_data/projects/sel4.yml index 0c71b00f50..9221a5b459 100644 --- a/_data/projects/sel4.yml +++ b/_data/projects/sel4.yml @@ -1135,3 +1135,21 @@ roadmap: assigned: UNSW status: "In progress. Main API stable and available. Note: smaller API changes while verification is in progress." roadmap_type: in-progress + - name: Microkit + display_name: seL4 Microkit + description: A simple operating systems framework for building systems on seL4. + assigned: UNSW + status: Ongoing research & development. Available for use. Detailed roadmap available here. + roadmap_type: in-progress + - name: sDDF + display_name: seL4 Device Driver Framework + description: A high-performance and secure driver framework for seL4. + assigned: UNSW + status: "Ongoing research & development." + roadmap_type: in-progress + - name: Kitty + 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." + roadmap_type: in-progress