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
sw simulated hw virq: +slotpirq.c
Merge pull request #58 from simonkim/v1-slotpirq

sw simulated hw virq: +slotpirq.c
[v1-virq] added virqmap and sp804_timer
Merge pull request #60 from Wonseok/v1-virq

[v1-virq] added virqmap and sp804_timer test code on the guest, and monitor side only to enable PIRQ(34) for sp804
Experimental VGICD and VIRQ Forwarding integration in test_vdev_sample.c. Guest configures sp804, it's irq and irq handler while hyp does not touch anything about sp804.\n BUGFIX: hyp saves guest's lr register that's shared with hyp mode
[v1-virq] Moved callback handler for vgicd_changed_istatus

Location of the callback handler is changed from tests_vdev.c to virqmap.c
Location of the callback registration is changed from tests.c to virqmap.c
Merge pull request #62 from Wonseok/v1-virq

Added callback handler for vgicd_changed_istatus in virqmap.c
loading guest linux : 1. linux uses uart1 (0x1c0a0000),
2. change kernel memory size (atags on context.c)
3. add memory map description (vmm.c)
4. enable kernel console using the kernel cmd, use earlyprintk (context.c)
5. disable gic timer injection due to guest linux does not handle gic timer irq 30 (tests_gic_timer.c)
arndale : add minimal linux configuration with submodule
Merge pull request #63 from joohyun0115/v1-linux

arndale : add minimal linux configuration with submodule
doc : add command regarding the refusing SD card
context: saves sctlr and sp_usr for better linux guest compatibility (enables running bmguest at guest 1 along side linux at guest 0). bmguest uart and sp804 base addresses are fixed at 0x1C090000 and 0x1C110000
guest0:linux + guest1:bmguest.bin, guest context includes sctlr, sp_usr. uart/sp804 base addresses at bmguest: 0x1c090000 and 0x1c110000