Tiny Virtual Machine MonitorAbout TVMM Tiny Virtual Machine Monitor (TVMM) is a yet-another virtual machine monitor, which has been developed for the purpose of education and verification. Since its design and implementation are simpler than those of existing virtual machine monitors (e.g., VMware, Xen), programmers can easily understand how the VMM works. In addition, TVMM is useful as a building block towards secure virtua
