Introducing the virtual machine monitor