He has been part of various efforts related to the Xen hypervisor, and has been involved in the past with the GNU Hurd and the MINIX3 operating system.