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.

Valid HTML 4.01 Transitional Valid CSS!

Copyright 2013 Stefano Stabellini, All Rights Reserved