First, sorry for the late anwer. I completely forgot that the thread notifications where on my gmail address, as my free.fr one is banned
The system is not dead. I can use the sysRQ keys to send a SaK to the X and then change VT.
Here are the relevant kernel logs and my kernel config.
I am not willing to compile a vanilla kernel. I need a debian one for consistency...
However, this is not a precompiled one, but a debian one + xen patches.
Regards, and thanks for working on the xen + nvidia issue
Clément Hermann (nodens)