re: The OVMF.bin file generated by the configuration / installation of XEN 4.14 does not work.

[Pry Mar <pryorm09@xxxxxxxxx>]

Mario,

The default ovmf.bios path is configured in the qemu-xen build
(config-host.mak):
qemu_datadir=/usr/share/qemu-xen/qemu

if you want to change it in xl.cfg use:
bios_path_override="<my/new/path>"

to see more details of the domU boot, use
xl -vvv create myconfig.cfg

Your block device /dev/sdc is bare-metal. Do you have a grub install
for the Xen domU in the ESP/EFI part? If you don't, you might be able
to enter the menu if tiano-core ever launches.

I attached a trace of a CentOS 7 EFI domU running in debian Buster
with xen-4.14.0.

cheers,
PryMar56

Attachment: info-this-c7efi-vm
Description: Binary data