kesl/khypervisor — pull request #10 by simonkim (2013-07-18 12:11:13+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

> Retrying pull request after merging the latest commits from kesl/khypervisor