3 ms·
For the state of the art in scheduling, and for highest performance in context switching, look into seL4[0]. Lots of cool papers to read. 0. https://sel4.syst
by snvzz 4y ago
For the state of the art in scheduling, and for highest performance in context switching, look into seL4[0].
Lots of cool papers to read.
0. https://sel4.systems/ https://sel4.systems/
- maxgio92 4y agoThank you, it seems very interesting. I leave here links also for other people. - https://docs.sel4.systems/projects/sel4/documentation.html https://docs.sel4.systems/projects/sel4/documentation.html