[seL4] SMP documents

[603644559--- via Devel]

I mainly want to know how threads is scheduled in SMP configuration.
Is there any documents or manuals on SMP configuration?
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems