stage1 translation to use down to level-3 table to provide hypervisor with 4KB page wise memory mapping
stage-1 translation down lv3 on hyp mode
Merge branch 'v1' of https://github.com/kesl/khypervisor into v1-heap
mm.c:mm_map map physical address to virtual address on hyp mode
hmm_malloc, hmm_free:general-purpose storage allocator, free
+ linuxguest/ min hw drivers version of vexpress_defconfig, the linux kernel configuration with a few notes
Merge pull request #39 from Wonseok/v1-vdev

[wonseok/v1-dev]  vdev framework and a sample virtual device
Merge pull request #40 from simonkim/v1-linuxconf

+ linuxguest/ min hw drivers version of vexpress_defconfig
modify file name tests_mmu.c -> tests_malloc.c
virq.c: virq_inject(vmid, virq, pirq, hw) instead of vgic_inject_virqXXX()
vdev_gicd.c: Virtual GIC Distributor Device for Guests - Experimental
Merge pull request #44 from in1004kyu/v1-mergewithheap

mm.c:hmm_map map physical address to virtual address on hyp mode, hmm_malloc allocates a block of "size" bytes of memory.
Merge branch 'v1' of https://github.com/kesl/khypervisor into v1-virq

Conflicts:
	monitor/Makefile
	monitor/hmain.c
Merge pull request #45 from simonkim/v1-virq

virq.c: virq_inject(vmid, virq, pirq, hw) instead of vgic_inject_virq_sw/hw()
Merge branch 'v1' of https://github.com/kesl/khypervisor into v1-vgicd

Conflicts:
	monitor/Makefile
Merge pull request #46 from simonkim/v1-vgicd

vdev_gicd.c: Virtual GIC Distributor Device for Guests - Experimental
[On-going] test
sp804 timer on hypervisor