ready to begin vgic implementation
Merge branch 'proto2' into vgic

Conflicts: RESOLVED MANUALY
	monitor/Makefile
1. Generic Timer signals a PPI to GIC that calls ISR for guest context switch.
2. Time unit is microseconds.
3. Modify generic_tiomer.c, generic_timer.h, scheduler.c, scheduler.h, timer.c, timer.h, Makefile
4. Add asm-arm_inline.h, generic_timer_regs.h
Merge pull request #7 from simonkim/proto2

Proto2 - Hyp mode stack pointer initialization
tested by @wonseok on arndale
Merge pull request #8 from in1004kyu/proto2-request

Guest context switch uses Timer interrupt.
VGIC: Added with only initialization and virq injection function. Maintenance IRQ handling, virq deactivation, and guest context switching are not implemented yet
Merge branch 'vgic' into proto2
Merge branch 'proto2' of https://github.com/kesl/khypervisor into proto2

Conflicts: MANUALLY RESOLVED
	monitor/hmain.c
Merge branch 'proto2' of https://github.com/kesl/khypervisor into proto2

Conflicts: MANUALLY RESOLVED
	monitor/hmain.c
Fix to build error:
       generic_timer.c undefined symbol reference to HVMM_TRACE_ENTER()/HVMM_TRACE_EXIT()
       due to missing hvmm_trace.h
Merge branch 'proto2' of https://github.com/simonkim/khypervisor into proto2
Merge pull request #10 from simonkim/proto2

VGIC: Imcomplete Implementation - Initialization and preliminary VIRQ injection function
- test by simon
Merge branch 'proto2' of https://github.com/kesl/khypervisor into proto2