An implementation of the rump kernel hypercall interface for the Linux kernel.