1. 2023-11-25 Re: Should we boot the FreeBSD kernel in ELF format o freebsd-c Mario Marietto 2. 2023-11-25 Re: Should we boot the FreeBSD kernel in ELF format o freebsd-a Mario Marietto 3. 2023-11-25 Re: Should we boot the FreeBSD kernel in ELF format o freebsd-h Mario Marietto 4. 2023-11-25 Re: Should we boot the FreeBSD kernel in ELF format o freebsd-c Warner Losh 5. 2023-11-25 Re: Should we boot the FreeBSD kernel in ELF format o freebsd-a Warner Losh 6. 2023-11-25 Re: Should we boot the FreeBSD kernel in ELF format o freebsd-h Warner Losh 7. 2023-11-25 Should we boot the FreeBSD kernel in ELF format or in freebsd-e Mario Marietto 8. 2023-11-25 Should we boot the FreeBSD kernel in ELF format or in freebsd-v Mario Marietto