User talk:46.102.197.194

Obviously you haven't studied, perhaps not even read Popek and Goldberg's paper. This might be an easy read for you: https://en.wikipedia.org/wiki/Popek_and_Goldberg_virtualization_requirements. According to their paper, "The virtual machine monitor will be a particular piece of software, which we shall call a control program, that exhibits certain properties.", these properties being "The efficiency property", "The resource control property" and "The equivalence property" all of which bhyve exhibits.

As for Type 1 and Type 2 terms they are originating not from Popek and Goldberg's paper but from John Scott Robin's thesis "Analysis of the Intel Pentium’s Ability to Support a Secure Virtual Machine Monitor":

"A Type I VMM runs directly on the machine hardware. It is an operating system or kernel that has mechanisms to support virtual machines. It must perform scheduling and resource allocation for all virtual machines in the system and requires drivers for hardware peripherals."

"A Type II VMM runs as an application on a host operating system and relies on the host OS for memory management, processor scheduling, resource allocation, and hardware drivers."

Now, please, you revert back the change. Thank you!