Microkernels are conceptually cleaner, and easier to make secure, but in practice generally slower than unikernels.
Gernot Heiser would strongly disagree with you on the last one :D
Gernot Heiser would strongly disagree with you on the last one :D