kesl/khypervisor — pull request #30 by simonkim (2013-09-03 00:43:51+00:00)
Title: First release of Prototype 2

- VGIC
- Timer
- Arndale Board Support
- Round-Robin Scheduler
- Test Code of Interrupt Forwarding to a Guest