kesl/khypervisor — pull request #8 by in1004kyu (2013-07-18 11:00:38+00:00)
Title: Guest context switch uses Timer interrupt.

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