works for me: xen0 amd64 hardy xenU debian 4.0 32bit (with that kernel) xenU hardy amd64 (with that kernel)
works for me:
xen0 amd64 hardy
xenU debian 4.0 32bit (with that kernel)
xenU hardy amd64 (with that kernel)