Re: [seL4] Roadmap - Status

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 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 https://sel4.systems/lists/listinfo/devel