100644 blob 40129b6f0eca41ced6c6213776571a5ae8374ebe	Kconfig
100644 blob f29901bd782058d3552cdec2c2128ad47ce6fe27	Makefile
040000 tree 51d6794bc396a0b4da84a334a808b16b3d1f0559	acrn
040000 tree c00090a756690c32aded5a6bad053bea3ae7e441	coco
100644 blob e92e2ceb12a4fc33307f1c640ba0787657ab69ff	fsl_hypervisor.c
040000 tree 890d948da623baf1997b78bffae6179a7e11fa7f	nitro_enclaves
040000 tree 675cf0c806bbd88cb20daf197b91b546caad4829	vboxguest
100644 blob a1c467a0e9f719665fc02fa559d5c94545e5725f	vmgenid.c