kesl/khypervisor — pull request #27 by simonkim (2013-08-28 07:42:24+00:00)
Title: Arndale Support (proto2-arndale) Merge Request to branch proto2

- uboot support for arndale
- added directory for supporting fastmodels RTSM_VE and Arndale at the same time
- Use of Exnos5250 mct to enable Generic Timer
- Exynos5250 UART
- device directory restructured: devices/ and include/ directory for gic, generic timer, uart as such