I’m trying to run xen 4.0 but it’s not working, It seems that the input devices (keyboard and mouse) are not being supplied to the linux kernel from the xen hypervisor.

 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589373

I’m keeping this here for easy reference.