Popek és Goldberg virtualizációs követelmények