Re: Stable/13 doesn't boot with xen

From: Roger Pau Monné <roger.pau_at_citrix.com>
Date: Sun, 05 Jun 2022 13:41:22 UTC
On Sat, Jun 04, 2022 at 01:03:55PM -0700, Brian Buhrow wrote:
> 	Hello.  In the process of getting the netback.c patch into a working kernel on the system
> I'm updating, I discovered that Stable/13 doesn't boot successfully when xen-4.16 is running.
> Specifically, the system hangs while configuring the PCI busses.  I suspect it has something to
> do with the failure of the hpet timers to attach.
> I do not know if it works with older versions of the xen hypervisor, but it boots and runs fine
> without xen running.  Below are two boot logs, the first with xen installed and running, the
> one that fails, and the successfful boot,  with FreeBSD running on bare metal.
> Hopefully this is a known issue and there is an easy fix.

I will have to give it a try, in the meantime could you give a try
with a kernel from HEAD directly, so that I know if the issue is also
present there?

Trying to boot a HEAD kernel with a 13 userland should be fine.

Thanks, Roger.