kesl/khypervisor — pull request #21 by simonkim (2013-08-19 08:46:07+00:00)
Title: Vgic

VGIC:
- guest context switch now saves/restores VGIC configuration.
- test code in tests_gic_timer.c injects virq 30 every timer_sched tick to the current guest only for test purpose