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