vgic: guest context switch saves/restores VGIC status.
vgic: guest context switch saves/restores VGIC status.
vgic test code : tests_gic_timer.c, injects virq 30 to the current guest every timer_sched tick
Merge branch 'proto2' of https://github.com/kesl/khypervisor into vgic
Merge pull request #21 from simonkim/vgic

Vgic