Good design does help a lot, but communication still isn&#x27;t free. Commercial microkernels are usually sold on low, predictable latency (&quot;real time&quot;), not on raw throughput.<p>Do you happen to have any relevant references on modern anti-exploit technology like ASLR (which creates tons of MMU entries to describe the fragmented address space) and microkernels (which tend to rely on fast context switching)? I can imagine a few partial solutions, but... And no, &quot;switch to OCaml&quot; doesn&#x27;t solve the problem. ;-)