Viewing profile — msjyoo

msjyoo

HN member

No profile information was provided.

comment
Comment #21676045
Physical-like prices?

Sun, Dec 01, 2019, 4:02 PM UTC
comment
Comment #20635689
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 on…

Wed, Aug 07, 2019, 3:38 PM UTC
comment
Comment #20634326
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 wind…

Wed, Aug 07, 2019, 1:09 PM UTC
comment
Comment #18775465
Wow, that site is beautiful beyond words.

Fri, Dec 28, 2018, 8:10 AM UTC