msjyoo

3 ms·

1. 1.▲
   by msjyoo 7y ago

   Physical-like prices?
2. 2.▲
   by msjyoo 7y ago

   That's not quite true. It's not solely because seL4 does little. seL4 maintains low interrupt latency through "preemption points" - basically points where the kernel can and can only context-switch while maintaining glob
3. 3.▲
   by msjyoo 7y ago

   seL4 at the moment doesn't have kernel interrupts. The kernel relies on run-to-completion and "incremental consistency" partly because IPC in seL4 is already short so the time window for a kernel interrupt to be needed is als
4. 4.▲
   by msjyoo 8y ago

   Wow, that site is beautiful beyond words.