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 inQ2’1864-bit ARM virtualisation support
master




delivered inQ1’18Multicore for 64-bit ARM and x64master

Low-level Userland

StatusDate     FeatureLocation
in progressSMP-capable virtual-machine monitor (VMM)   master


Ihor.

On 5 Jun 2019, at 9:51 am, Rutherford, Luke <Luke.Rutherford@viasat.com> 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