4 ms·
There are also RTOS-capable microkernels such as seL4[0], with few but extremely fast syscalls[1]. Note times are in cycles, not ns. 0. https://sel4.systems/ h
by snvzz 3y ago
There are also RTOS-capable microkernels such as seL4[0], with few but extremely fast syscalls[1]. Note times are in cycles, not ns.
0. https://sel4.systems/ https://sel4.systems/
1. https://sel4.systems/About/Performance/ https://sel4.systems/About/Performance/
- monocasa 3y agoAFAIK sel4 is similar now as most of the weight comes from spectre/meltdown mitigations from flushing the TLB on privilege changes.