kesl/khypervisor — pull request #67 by in1004kyu (2013-11-29 08:31:50+00:00)
Title: v1-arndale : run guest0/1 on arndale board

v1-arndale : run guest0/1 on arndale board
1. uart base address uses configuration marco
2. when run guest on arndale board, type command -- make ARNDALE=y
3. gic ipa, that uses guest0/1, set number
4. device/gic/vgic.c : when LR is empty, then vgic is disable
5. make sure virtual id in list register is unique virtualid for that virtual cpu interface.
6. bug fix : virqmap_vgicd_changed_istatus_callback_handler
when guest 1 access not assign device, then vgicd old status must not modify.