For some reason, i m learning the scheduling module in seL4. I have read the
manual and the source code, and i have already read the answer in the link
https://lists.sel4.systems/hyperkitty/list/[email protected]/thread/VYRTG3I2UDXJ2IAAQDKRJXH2AUA6SNAZ/
But i still do not know the purpose of adding the domain mechanism in seL4,
Can anyone explain what kind of requirement led to the design of the domain
mechanism?
Please explain it more specifically, and it would be best if there were
relevant documents and papers on the domain mechanism.
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
