Stefan Kalkowski f4f2b456b6 base-hw: invalidate VM TLB entries in deletion ...

This commit introduces a hypervisor calling interface. The host kernel can
use it to either switch to a guest VM, or to invalidate the TLB with
regard to a specified VM id.
The VM-specific TLB invalidation is called whenever a VM (Vcpu)
gets destroyed.

Fix genodelabs/genode#4528

2022-08-10 13:32:57 +02:00

..

board

hw: remove rpi1/3 board support

2022-01-19 12:38:12 +01:00

etc

base: remove SPEC variables of boards (fix #3971)

2021-01-25 13:58:09 +01:00

include

hw: unify architectural kernel interface header

2022-02-28 11:45:18 +01:00

lib/mk

base-hw: Use softfp ABI on virt_qemu ARMv7.

2022-02-15 10:23:58 +01:00

recipes

depot: update recipe hashes

2022-05-25 12:23:04 +02:00

run

base-hw: fix run scripts

2020-02-20 12:11:21 +01:00

src

base-hw: invalidate VM TLB entries in deletion

2022-08-10 13:32:57 +02:00