My principal contributions are to
Linux,
QEMU and
Xen:
- stage1-xen and runX
- Dom0-less Xen
- Xen 9pfs protocol and PV drivers
- pvcalls protocol and PV drivers
- ACPI IO Remapping Table
- ARM and ARM64 support in the Xen Project hypervisor
- Xen support for the ARM and ARM64 architectures in the Linux kernel
- Xen support in QEMU
- Dom0 support in the Linux kernel
- PV on HVM support in the Linux kernel
- xl and libxenlight (new Xen Project toolstack)
See
this page for a list of smaller projects that I developed (or I contributed to) years ago in my spare time.