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 #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
Manual merge of 57263912b388414ea23b5ac0180eef3aeaa73496 and 6922cbfcde7adcfaaa908ee7c2a97f27410a8198 (Fix to Hyp SP)