Kernel Design microkernel vs. multikernel


Why was the choice of the kernel implementation fallen on the microkernel and not on a more modern design like a multikernel?


Does Multikernel mean a combination of monolithik kernal and microkernal?


I’m talking about a multikernel as used in the “Barrelfish OS”. It’s kind of an alternative Idea on how we deal with multicore systems.
For your Interest:, Chapter 1.1 and 1.2