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 (彭美僑)