Hi seL4,

I see below link to know VMM support SMP at Q3’17.

I want to know does it ready and has any restriction?  Thank you.

https://sel4.systems/Info/Roadmap/

Low-level Userland

Status	Date	Feature	Location
deferred to	Q3’17	SMP-capable virtual-machine monitor (VMM)	master

Joyce.Peng (彭美僑)