Xvisor

This release adds a few new features, cleans up the code, and formalizes the coding-style document. New features: wait-for-interrupt support in the VCPU IRQ subsystem; dynamic guest creation/destruction; device clock management support in the device driver framework; an RTC device framework; and a wall-clock subsystem for real-time tracking. ARM 32-bit port: support for emulating cache operations; Xvisor ARM running on BeagleBoard-xM is able to boot the Linux kernel on a Realview-PB-A8 guest. MIPS 32-bit port: Xvisor MIPS boots up and gets to the management terminal.