kesl/khypervisor — pull request #223 by kim6515516 (2014-09-18 09:04:32+00:00)
Title: [ARNDALE PATCH]  : Supporting android on arndale board

To do for supporting android.

1. Fixed stage 2 address translation table
2. Added interrupt mapping table