Comment by logicchains

Microkernels are conceptually cleaner, and easier to make secure, but in practice generally slower than unikernels.