Merge pull request #1 from simonkim/proto2

gic.c: marked with comments where the next immediate implementation shou...
Merge pull request #2 from simonkim/proto2

Proto2
Merge pull request #3 from kesl/proto2

Prototype 2 - Pyhsical Interrupt Handling
split guest/context switching from hmain.c to context.c and it also replaces switching.c
1. guest context switch now allows trap handler to run the rest of the code until eret
   (previously, __mon_switch_to_next_guext_context() did not allow this)
2. interrupt test code now demonstrates simple guest context switching in an interrupt handler (or ISR)
3. bmguest/ now iterates it's internal loop 300 times and doesn't request for hvc_yield() to show the periodic context switching works
Merge pull request #1 from in1004kyu/proto2-fork

Proto2 fork
Merge branch 'proto2' of https://github.com/in1004kyu/khypervisor into proto2
proto type timer source
prototype generic_timer & scheduler
Merge pull request #4 from in1004kyu/proto2

Proto2 update: context switch api for safe invocation from an interrupt handler
Generic Timer Freq. = 100Mhz (guessed). periodic context switching interrupt demo: interval = 1sec
Merge remote-tracking branch 'upstream/master' into proto2
ready to begin vgic implementation
1. + monitor_secure.S, monitor_imp_secure.c
2. Hyp mode stack initialized through a separate secure exception vector - hyp_stacklimit
3. Clearly set secure mode stack in boot.S - sec_stacklimit
4. monitor.S cleanup with unused data words
5. model.lds.S cleanup with unnecessary addresses. MON_OFFSET=0xF0000000, customizable
6. removal of __mon_install_hyp from monitor.S
Manual merge of 57263912b388414ea23b5ac0180eef3aeaa73496 and 6922cbfcde7adcfaaa908ee7c2a97f27410a8198 (Fix to Hyp SP)
Merge branch 'proto2' into vgic

Conflicts: RESOLVED MANUALY
	monitor/Makefile
hyp mode sp: fix to corruption before switching to the first guest for the first time due to unnecessary stack save of sp/lr at hyp mode trap entrance
Merge branch 'proto2' of https://github.com/Wonseok/khypervisor into proto2
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