Post #4334384
2026-08-02 19:14 UTC
@david_chisnall@infosec.exchange But microkernels are so much more cleaner…
Replies (1)
-
@david_chisnall@infosec.exchange 2026-08-03 08:45
@shac@ioc.exchange Microkernels are an interesting counterexample because monolithic kernels are already distributed systems. They must do a load of asynchronous stuff, especially on a modern system that has devices that do asynchronous operations and multiple cores. A microkernel looks as if it's turning a centralised system into a distributed system, but it's actually reducing the set of possible data flows within a distributed system, which makes it easier to reason about.