3 ms·
> This is why, as far as I know, there are no microkernels on the field (except some edge cases, probably). Huh? What about QNX, Integrity and L4 (SeL4/OKL4)?
by a-french-anon 2y ago
> This is why, as far as I know, there are no microkernels on the field (except some edge cases, probably).
Huh? What about QNX, Integrity and L4 (SeL4/OKL4)?
- JackSlateur 2y agoThis is what would be called "edge cases" (same for the kernel used for intel ME).