@p @dcc @Maholmire @pwm @dushman @nerdeiro @BrodieOnLinux @mima @SrEstegosaurio @Hyolobrika at some point everywhere started saying "hybrid kernel" and I think this is the reason why. you're only a microkernel as you approach 100% of the kernel doing it (100% is obviously impossible.) Linux is pragmatic and I agree that microkernel concept is dogmatic.