virtual timer by injection irq enabler is now supported
- in guest, call vtimer_mask(0) -> guest now accept generic timer injection irq
vtimer_mask(1) -> guest now do not accept generic timer injection irq
bug fix : end of irq message occur at guest. now fix them by vtimer_maks(). bmguest's gic initialization must call before injection irq.
rtos : rtos can enable/disable injection irq
Merge pull request #74 from in1004kyu/v1

virtual timer by injection irq enabler is now supported