4 ms·That sounds like the Exokernel project. Notably different from a "multikernel"/"replicated kernel" design.by yencabulator 1y agoThat sounds like the Exokernel project. Notably different from a "multikernel"/"replicated kernel" design.