From c1683de4d8925f5ba671fe390f2fde75c766e724 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 14 Sep 2023 10:48:25 +0200 Subject: [PATCH] update project roadmap Signed-off-by: Gerwin Klein --- _data/projects/l4v.yml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) 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