[seL4] VMM ARM SMP support

22 Aug 2017

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

[seL4] VMM ARM SMP support

Joyce Peng(彭美僑)