ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-30 10:38:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
e3233a4824
genode/repos/base/include/vm_session
History
Stefan Kalkowski 40445d7011 base: extend vm_session API with native vcpu cap 
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
2020-11-23 12:02:58 +01:00
..
capability.h vm_session: move from base-hw to base 2019-01-30 13:35:28 +01:00
client.h base: extend attach of vm_session 2019-05-06 16:15:25 +02:00
connection.h base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
handler.h vm_session: extensions 2019-02-19 11:08:17 +01:00
vm_session.h base: extend vm_session API with native vcpu cap 2020-11-23 12:02:58 +01:00