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

On 5 Jun 2019, at 09:51, Rutherford, Luke wrote:

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

_______________________________________________ Devel mailing list Devel@sel4.systems mailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel https://sel4.systems/lists/listinfo/devel