update project roadmap

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Sep 14, 2023 · c2d0719 · c2d0719
1 parent a83ee45
commit c2d0719
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/_data/projects/l4v.yml b/_data/projects/l4v.yml
@@ -24,8 +24,14 @@ roadmap:
     status: C verification ongoing
     roadmap_type: in-progress
   - name: AARCH64
-    display_name: AARCH64 port
+    display_name: AArch64 port
     description: Functional correctness proofs for the AArch64 port of seL4.
     assigned: Proofcraft
-    status: verification of invariants ongoing
+    status: C verification to complete Q1/24
+    roadmap_type: in-progress
+  - name: Multikernel
+    display_name: Multikernel
+    description: Functional correctness proofs for static multikernel config of seL4.
+    assigned: Proofcraft
+    status: concurrency framework ongoing
     roadmap_type: in-progress