|
|
Project Guest VM: Microkernel
Project Guest VM: Microkernel
Introduction
This documentation describes the Guest VM Microkernel, GUK for short,
which is an evolution of the Xen Minimal OS, Mini-OS. GUK is designed to
support the Guest VM Java virtual machine and platform and, therefore,
although more functional than Mini-OS, it is also somewhat more specialized.
However, GUK should be usable in a wide variety of environments,
particularly in the support of language run time virtual machines.
The main differences between Mini-OS, when originally forked, and GUK are:
- Support for multiple VCPUS (SMP)
- Pre-emptive thread scheduling
- Memory management tailored to a language run time virtual machine
- Memory ballooning
- Block device support
- Suspend/Resume support
Note that Mini-OS has also evolved since the fork and it would be good to
merge bug fixes and new features as appropriate.
Components
Documentation is incomplete and limited to the following components:
|