@charlie_root Coreboot does hardware init, but it doesn't handle basic input or output, which makes it not a BIOS (Basic Input/Output System) by definition - it's a bootloader.

GNU Grub (also in cbfs on the SPI flash chip) is what handles the basic input and output - which therefore makes GNU Grub my BIOS.

I admit that the cbfs also contains SeaBIOS, but that's not even used by default on my librebooted thinkpad.