Naravno da je to prilagođeni Linux ili BSD, apsolutno nema teorije (niti smisla) pisati sopstveni OS samo za ove potrebe. Ekstremno je veliko cimanje napraviti i običan napredniji bootloader, a kamoli ceo operativni sistem (dakle sa definisanim formatom izvršnog fajla, aplication binary interface-om, drajver modelom itd), pa makar mu uloga bila "samo" da vozi virtuelne mašine.
in b4 otkrio sam toplu vodu, al čisto da kažem