loading guest linux : jump start_kernel then jump trap_hvc_dabort
vmm.c : map device that linux uses physical address to virtual address.
Merge pull request #47 from in1004kyu/v1-linux

loading guest linux : jump start_kernel then jump trap_hvc_dabort
loading guest linux : change kernel memory size & refactor for linux loading code
loading guest linux : blocking the guest switching due to loading linux
Merge pull request #50 from joohyun0115/v1-linux

loading guest linux : change kernel memory size & refactor for linux loa...
loading guest linux : add memory map description for guest linux
Merge pull request #51 from joohyun0115/v1-linux

loading guest linux : add memory map description for guest linux
loading guest linux : Change minimal configuration - disable VFP, Networking
loading guest linux : enable kernel console using the kernel cmd
loading guest linux : disable gic timer injection due to guest does not handle gic timer
loading guest linux : change vmm uart port 0 -> 1
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
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
loading guest linux : jump start_kernel then jump trap_hvc_dabort
vmm.c : map device that linux uses physical address to virtual address.
loading guest linux : change kernel memory size & refactor for linux loading code
loading guest linux : blocking the guest switching due to loading linux
loading guest linux : add memory map description for guest linux
loading guest linux : Change minimal configuration - disable VFP, Networking
loading guest linux : enable kernel console using the kernel cmd