Hacker News new | ask | show | jobs
by vezzy-fnord 4157 days ago
IPC overhead was primarily an issue with the Mach kernel in particular (due to it performing elaborate checks on message ports) that later ended up unfairly stigmatizing the entire microkernel design in general.

Contemporary microkernels like L4 are much, much faster.