But it didn't work. With the nosmp parameter the usb stop working and
there are many errors at boot time.
What would be the correct way to pass those parameters in grub2?
nosmp is deprecated, and should be replaced by maxcpus=1. dom0_mem needs
to be added on the xen cmdline, not linux one:
multiboot /boot/xen-4.0-amd64.gz dom0_mem=1024M
on /etc/default/grub add the line
and run again update-grub2
> Cheers, Mauro.
Thanks Iustin, that worked for me.