mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 08:03:59 +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
This directory contains include files of interfaces that are exported by components to be used by other components. Each subdirectory corresponds to the component exporting the interface.