Popular repositories Loading

1. vbh vbh Public

   Forked from intel/vbh

   C

2. vhost-pci vhost-pci Public

   Forked from wei-w-wang/vhost-pci

   Qemu side vhost-pci device emulation and management, guest side vhost-pci driver

   C

3. tdx tdx Public

   Forked from intel/tdx

4. pub-pKVM-IA pub-pKVM-IA Public

   Forked from intel-staging/pKVM-IA

   public pKVM POC for x86

   C

5. coconut-linux coconut-linux Public

   Forked from coconut-svsm/linux

   Linux kernel source tree

   C

6. coconut-qemu coconut-qemu Public

   Forked from coconut-svsm/qemu

   Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

   C