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: http://www.barrelfish.org/publications/TN-000-Overview.pdf, Chapter 1.1 and 1.2