Xen?
Wasn't the original (and by now ancient) Xen a microVm by this definition? It has a kernel modified to use only the services of the hypervisor. And also did cool things with the 386 architecture protection rings to implement a VM on an architecture that was at the time hostile to virtualization.