Add Trustworthy Systems seL4 projects to roadmap

Signed-off-by: Ivan Velickovic <[email protected]>

_data/projects/sel4.yml

@@ -1135,3 +1135,21 @@ roadmap:
     assigned: UNSW
     status: "In progress. Main API stable and available. <em>Note: smaller API changes while verification is in progress.</em>"
     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 <a href="https://github.com/seL4/microkit/issues/61">here</a>.
+    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. To be released at the end of 2023."
+    roadmap_type: in-progress