kesl/khypervisor — pull request #76 by joohyun0115 (2014-01-02 00:44:13+00:00)
Title: layout design for k-hypervisor

Change source tree for flexibility

hypervisor : Contains the real time hypervisor core source code.
hvc call for manual guest switching
LPAE stage 2 address translation
Interrupt Handling through GICv2
Generic Timer and Scheduler (Round-robin)
platform-device Contains the device starting point.

platform-device : Contains the device starting point.
common common interface source code.
based on board code.
config Contains the plaform specific configuration files.
drivers Contains the plaform specific driver for hypervisor.
guestbl Contains the guest bootloader.
guestimages Contains the guest images.
guestos Contains the guest os source code.
cortex_a15x2_rtsm based on rtsm fastmodels code.
config Contains the plaform specific configuration files.
drivers Contains the plaform specific drivers for hypervisor.
guestbl Contains the guest bootloader.
guestimages Contains the guest images.
guestos Contains the guest os source code.