Dear Vincenzo,
Can you tell me if some of you uses coreboot with the Freebsd Operating system on its machine ?
it denepds on your definition of "using". None of my productive systems are using coreboot.
But I've been experimenting with booting FreeBSD and OpenBSD with boards running coreboot with grub payload. You have to compile grub with support for kfreebsd and kopenbsd.
Currently I'm toying with using coreboot with Tianocore to boot the OpenBSD uefi-boot, as well as other uefi based bootloders (rEFInd, FreeBSD, Linux directly, Linux using grub). This works fine, but using Tianocore might not be what you had in mind when you want to switch to coreboot from vendor BIOS.
You might want to have a look at this talks from ECC2017:
- Booting UEFI-arware OS on coreboot enabled platform https://ecc2017.coreboot.org/talks/2eYVdk7g9WnUQ52QNQHCIg - A Tale of six motherboards, two BSDs and coreboot https://ecc2017.coreboot.org/talks/3RbDMrgYe4M-8ait4e2ycw - A Tale of six motherboards, two BSDs and coreboot (EuroBSDcon 2017 version) https://2017.eurobsdcon.org/talk-speakers/#PiotrKubaj_KatarzynaKubaj Video on youtube: https://www.youtube.com/watch?v=bTeBOCJqRd0
Personally I'd like to see something like LinuxBoot/NERF but with the UEFI bootloaders from FreeBSD / OpenBSD instead of Linux.
Cu, Goetz.