That page doesn't say anything about User Mode Linux. I ask because User Mode Linux is basically a way of running the Linux kernel in user space on a Linux mac

That page doesn't say anything about User Mode Linux. I ask because User Mode Linux is basically a way of running the Linux kernel in user space on a Linux machine, which sounds like what Rump kernels are. From your response I'm not sure if you got that.