context now flushes queued virqs to the current guest when no guest switching occurs (i.e. single guest configuration). + vgic_flush_virqs() in vgic.h/c
fix to sp management for bmguest and monitor. cleans up hw virq completion
Merge branch 'v1-spfix' into v1-virq
- fixed compile error: bmguest/gic.c caused by merging an incomplete commit to fix sp management
Upon hvc-dabort, hypervisor stops the system and dumps registers(+banked) of the guest that caused the dabort for better debugging. vdev_sample test code in bmguest has been disabled
Merge pull request #48 from simonkim/v1-virq

context now flushes queued virqs to the current guest
vdev_gicd.c : virtual distributor notify modified interrupt status to outside
Merge pull request #57 from in1004kyu/v1-vgicd

Reduce number of commit, vdev_gicd.c : virtual distributor notify modified interrupt status to outside