a7235d2411
Since no kernel objects can be created anymore outside Genode::core, the Vancouver port must be adjusted to use solely the Genode interfaces. The Vcpu_dispatcher creates all portals via the cpu_session interface and uses the feature to setup a specific receive window during a IPC (the cap_session::alloc IPC) to place to be received/to be mapped capability (virtualization exception portal) at the designed indexes. The actual vCPU thread extends from a normal Genode::Thread and extends it by specific vCPU requirements, which are a larger exception base window and the need by Vancouver to place the SM and EC cap at indexes next to each other. Fixes #316 |
||
---|---|---|
.. | ||
service | ||
boot_module_provider.h | ||
device_model_registry.cc | ||
device_model_registry.h | ||
main.cc | ||
nova_user_env.cc | ||
README | ||
target.mk |
Vancouver is a virtual machine monitor specifically developed for the use with the NOVA hypervisor. It virtualizes 32bit x86 PC hardware including various peripherals. The combination of NOVA and Vancouver is described in the following paper by Udo Steinberg and Bernhard Kauer: [http://os.inf.tu-dresden.de/papers_ps/steinberg_eurosys2010.pdf - NOVA: A Microhypervisor-Based Secure Virtualization Architecture] The official project website is [http://hypervisor.org].