4 ms·
The folks that through around type 1 and type 2 usually don't actually know what it means. It refers to a relatively obscure set of formal proofs and doesn't h
by aliguori 15y ago
The folks that through around type 1 and type 2 usually don't actually know what it means.
It refers to a relatively obscure set of formal proofs and doesn't have anything to do with what most people explain it as.
- MPSimmons 15y agoYou mean Wikipedia would lie to me??? http://en.wikipedia.org/wiki/Hypervisor http://en.wikipedia.org/wiki/Hypervisor
- aliguori 15y agoThe problem is that the phrase used in Popek's paper is "Conventional OS". This was the 1970s. What's now considered a "Conventional OS" was not conventional back then. For instance, everyone would agree Linux is a conventional OS but Linux provides a kernel module (KVM) that allows for virtualization driven by userspace.