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
Merge pull request #73 from Wonseok/v1

Loading linux from flash on ARNDALE
README.md : edit build manual
patch : add u-boot-arndale patch, support 2console patch
README.md : zimage -> zImage
Merge pull request #75 from in1004kyu/v1

README.md : edit build manual