This revision adds a new device file at /dev/vmmctl which can be used to create VM objects / device files using new ioctl commands VMMCTL_CREATE and VMMCTL_DESTROY. When a file descriptor to /dev/vmmctl is closed, all VM objects associated with the file descriptor are automatically destroyed.