mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
40445d7011
To enable the interaction of a VMM with the kernel directly, a hidden RPC gets introduced. It allows a kernel-specific base-library implementation of the Vm_session::Client to request a kernel-specific capability to address a VCPU, e.g., to run/stop it. Ref #3926 |
||
---|---|---|
.. | ||
config | ||
etc | ||
include | ||
lib | ||
patches | ||
ports | ||
recipes/src | ||
run | ||
src | ||
README |
This repository contains the port of Genode to the Fiasco.OC microkernel. For further information, please refer to the following documents: :[http://genode.org/community/wiki/GenodeOnFiascoOC - Genode on Fiasco.OC Wiki page]: This Wiki page contains the information on how to build and use Genode with Fiasco.OC. :[http://os.inf.tu-dresden.de/fiasco]: Official website for the Fiasco.OC microkernel.