ARM64: configs: tizen_bcm2711_defconfig: create tizen config from rpi os config
[platform/kernel/linux-rpi.git] / drivers / virt /
drwxr-xr-x   ..
-rw-r--r-- 1100 Kconfig
-rw-r--r-- 250 Makefile
drwxr-xr-x - acrn
-rw-r--r-- 23700 fsl_hypervisor.c
drwxr-xr-x - nitro_enclaves
drwxr-xr-x - vboxguest