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
..
core	base: extend vm_session API with native vcpu cap	2020-11-23 12:02:58 +01:00
include	base: add mutex as derivate of lock	2020-02-20 12:11:22 +01:00
kernel/foc	kernel: differentiate board-specific components	2019-05-27 14:46:52 +02:00
lib	foc: save/restore fpu state in vm_session	2020-10-13 14:42:03 +02:00
test/cap_integrity	base: remove dependency from deprecated APIs	2019-02-19 11:08:17 +01:00
timer/foc	Move timer from os to base repository	2019-01-14 12:33:57 +01:00