kesl/khypervisor — pull request #9 by simonkim (2013-07-18 12:01:10+00:00)
Title: VGIC: Imcomplete Implementation - Initialization and preliminary VIRQ injection function

### Much to be implemented:
- Handling Maintenance IRQ to complete virq deactivation
- Feeding pending virq to the guest, if any
- VIRQ injection to a specific guest
- Context switching integration