diff --git a/_data/projects/l4v.yml b/_data/projects/l4v.yml
index 8bab5a421e..f75be5d02a 100644
--- 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