GitHub repository: karljohns0n/xen-kernel
Description: Kernel for the Xen sub-project (suitable to run as a dom0)