On Tue, Nov 28, 2023 at 03:09:14PM +0100, Mario Marietto wrote: > For booting a FreeBSD kernel as a guest OS on XEN,should we install xen > 4.18 from source ?
Please avoid top-posting. I don't think so, I'm not aware of the FreeBSD port requiring a specific version of Xen. I do think the work is limited to aarch64 however, so there's no support in sight for arm32 FreeBSD guests as far as I'm aware. Regards, Roger.