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 <[email protected]> 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 > [email protected] <mailto:[email protected]> > https://sel4.systems/lists/listinfo/devel > <https://sel4.systems/lists/listinfo/devel>
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
