I have a server running xen 4.4 on a xeon 6core cpu (debian jessie dom0).

I'd like to install an pv 9front guest I can't find if it supports multiple
cores. As far as I can remember there is an amd64 kernel ready in 9front,
isn't it?

Giacomo