You can switch out the kernel in the running Linux desktop.