He is currently working on maintaining and improving Xen support in FreeBSD, focusing mainly on PVH and Dom0. He also contributes to other Xen-related projects, like the Xen Hypervisor itself, the Linux kernel and Qemu.