-
hypervisor Contains the real time hypervisor 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.
- common common interface source code.
- cortex_a15x2_arndale based on arndale board code.
- config Contains the platform specific configuration files.
- drivers Contains the platform 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 platform specific configuration files.
- drivers Contains the platform specific drivers for hypervisor.
- guestbl Contains the guest bootloader.
- guestimages Contains the guest images.
- guestos Contains the guest os source code.
The easiest way to use k-hypervisor is to start with one of the pre-configured platform-device projects (locate in the platform-device/<device_name> directory).
See also - arndale port : https://github.com/kesl/khypervisor/tree/v1/platform-device/cortex_a15x2_arndale rtsm port : https://github.com/kesl/khypervisor/tree/v1/platform-device/cortex_a15x2_rtsm