Does this mean, that we will not have to write driver for Dom0 of Xen, but might have to write a front end driver for DomU?
Also, for virtualizing CUDA, we will need the source code of the CUDA driver, Does NVIDIA have a repository from where one could download the source code of Linux drivers?
There are no officially supported NVIDIA drivers working on XEN, so you have to walk around in this way:
Create a virtual machine running on Xen, use and connect the real device (NVIDIA card) to the virtual machine bonding the PCI slot. This virtual machine can be as small as you can. You have just to run on it a small footprint linux distro with the gVirtuS backend.
Then create as much as you can virtual machines on XEN and run on it the gVirtus frontend.
Finally use the tcp communicator between front and backend setting up Xen Loop
If you want, you can contribute in gVirtuS development writing a better shared memory based communicator working on XEN.