kesl/khypervisor — pull request #232 by kim6515516 (2014-09-26 07:31:34+00:00)
Title: [ARNDALE PATCH] : Supporting android on arndale board.

Things to do for support android os.
1. Fixed stage 2 address translation table .
2. Added interrupt mapping table.
3. Added reset valeus of vgicd.