difference between microkernels and hypervisors aka virtual machine monitors. Microkernel is possible implementation of hypervisor, but more general. Minimality and generality vs special-purpose, especially for embedded systems. Microkernels are hypervisors done right.