>
> Luckily linux logs are mercifully short. Append this to
> xen-4.18p_grub_linuxoffset_pvh.log:
>
> [ 0.778770] i2c_designware AMDI0010:00: Unknown Synopsys component type:
> 0xffffffff
> [ 0.914664] amd_gpio AMDI0030:00: error -EINVAL: IRQ index 0 not found
> [ 0.930112] xen_mcelog: Failed to get CPU numbers
> [ 8.324907] ccp 0000:06:00.5: pcim_iomap_regions failed (-16)
> [ 8.338604] sp5100-tco sp5100-tco: Watchdog hardware is disabled
> [ 8.909366] [drm:radeon_get_bios [radeon]] *ERROR* ACPI VFCT table
> present but broken (too short #2)
Hm, interesting. I will have to add more debug in order to check
what's going on here, seems like the table is corrupted somehow.
Would you be able to build a new version of Xen if I provide you with
an extra debug patch?
Yes, I now have a build env setup for testing xen and the linux kernel.
Thanks, Roger.