Hi Attilio

I have updated to the upstream Xen and try to boot into OVMF bios. Instead of fetching the OVMF code from the git mirror,  I just copy the OVMF bios to ovmf directory.

I use the bios="ovmf" in the HVM config file. But, there is an error when I create the domain.

root@gavin-laptop:~# xl create hvm_ubuntu.hvm

Parsing config file /root/hvm_ubuntu.hvm

WARNING: specifying "tsc_mode" as an integer is deprecated. Please use the named parameter variant. e.g. tsc_mode="default"

failed to free memory for the domain