I mainly want to know how threads is scheduled in SMP configuration. Is there any documents or manuals on SMP configuration? _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
- [seL4] SMP documents 603644559--- via Devel
- [seL4] Re: SMP documents Axel Heider
