> While I could go into a long story here about the relative merits of the
two designs, suffice it to say that among the people who actually design
operating systems, the debate is essentially over. Microkernels have won.
https://groups.google.com/g/comp.os.minix/c/wlhw16QWltI
I will concede that I spelled 'minix' wrong.