vgic: guest context switch saves/restores VGIC status.
timer: multiple callbacks up to 8 per channel using timer_add_callback() api function
Merge branch 'proto2' of https://github.com/kesl/khypervisor into proto2
Merge pull request #20 from simonkim/proto2

timer: multiple callbacks up to 8 per channel using timer_add_callback()...
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