If someone were launching a new OS design today, it would be ludicrous not to use a microkernel. While Linus finally gave an inch: “True, linux is monolithic, and I agree that microkernels are nicer.