drivers/virt/vboxguest/vboxguest.o
drivers/virt/coco/tdx-guest/tdx-guest.o
drivers/virt/coco/tsm.o
drivers/virt/coco/efi_secret/efi_secret.o
drivers/virt/coco/sev-guest/sev-guest.o
drivers/virt/nitro_enclaves/nitro_enclaves.o
drivers/virt/acrn/acrn.o