Несмотря на то, что концепт microkernel адово сосет будучи применен к GPOS, он удивительно охуенно подходит для гипервизоров типа 1. Хуле Vmware ESX на L4 не запилили блеадь