An example for a microkernel running a Linux OS is L4Linux (http://os.inf.tu-dresden.de/L4/LinuxOnL4/overview.shtml).
There is a lot of controversy about the distinction between VMMs and microkernels. A view from the microkernel side is given in http://www.ertos.nicta.com.au/publications/papers/Heiser_UL_...