Hi Luke, We’re just in the process of updating that page. The changes (for the development roadmap) are:
Microkernel Status Date Feature Location delivered in Q2’18 64-bit ARM virtualisation support master delivered in Q1’18 Multicore for 64-bit ARM and x64 master Low-level Userland Status Date Feature Location in progress SMP-capable virtual-machine monitor (VMM) master Ihor. > On 5 Jun 2019, at 9:51 am, 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] > https://sel4.systems/lists/listinfo/devel
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
