The roadmap is now updated. (I had updated it just before your mail, but due to a permission problem this hadn’t yet propagated to the life site.)
Apologies for having this stale version of the roadmap up for so long, we’ll try to maintain it better in the future.
Note that the verification roadmap doesn’t show a number of things we’d like to see done, but we don’t have funding for it ATM, so there’s no idea when they might happen. This includes completing RISC-V verification (security proofs and verification of virtualisation support) and re-doing the whole proof chain for AArch64.
Gernot
I see these on your development road map. Any updates on the status of them?
Development Roadmap
Microkernel
in progress | | 64-bit ARM virtualisation support | branch |
Low-level Userland
Status | Date | Feature | Location |
planned | | SMP-capable virtual-machine monitor (VMM) | master |