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