Short bio: Computer Scientist, FOSS supporter (read more)
Tux Machines (TM)-specific
I recently set up Xen 3.0.3 on Debian etch using the great guide here from this site. However, if (like me) you use the binary Nvidia X.org driver rebooting into your new XenLinux kernel your X.org server will fail to start. If you read its error output, you will see that this is because it cannot find the nvidia kernel module. Here we'll show how to fix things.
The simple solution is to switch from the proprietary nvidia X.org driver to the nv driver. However, if (like me) you have become emotionally attached to the proprietary nvidia driver, then it is possible to make it work on a Xen kernel. Essentially, what we'll do is build the nvidia kernel module from source, with a patch, and target it to your new XenLinux kernel.
First, on your Xen kernel, as root, do: