Robuta

https://lists.freebsd.org/archives/freebsd-current/2023-November/005088.html Re: Should we boot the FreeBSD kernel in ELF format or in zImage format ? How? freebsd kernelelf formatbootzimage