Re: Should we boot the FreeBSD kernel in ELF format or in zImage format ? How?

I really don't know where to start. It sounds too technical for me. I don't even know what to ask to understand where to start. mmm...can someone provide some documentation ? but not too much dense with technicalities. Thanks. On Sat, Nov 25, 2023 at 6:02 PM Warner Losh wrote: > > > On Sat, Nov

Re: Should we boot the FreeBSD kernel in ELF format or in zImage format ? How?

On Sat, Nov 25, 2023 at 4:41 AM Mario Marietto wrote: > Hello to everyone. > > we have just virtualized Debian 12 on our arm (32 bit) Chromebook. As host > / dom0 we have chosen Devuan 5,and for guest / domU,Debian 12. It works > great. But our goal is different. We want to virtualize FreeBSD as

Fwd: Should we boot the FreeBSD kernel in ELF format or in zImage format ? How?

Hello to everyone. we have just virtualized Debian 12 on our arm (32 bit) Chromebook. As host / dom0 we have chosen Devuan 5,and for guest / domU,Debian 12. It works great. But our goal is different. We want to virtualize FreeBSD as domU. Can we have a working Xen PV network driver for a FreeBSD a