Re: [Trisquel-users] Libreboot X200 returns on Minifree

[jason]

If you want something that resembles a BIOS you could build libreboot with  
SeaBIOS and get something you'd think of as a BIOS. Or compile libreboot with  
TianoCore which is a UEFI implementation. But those are separate things that  
get compiled as a "payload" they call it. But neither coreboot nor libreboot  
in and of themselves provide any services that you would expect with a  
traditional BIOS or UEFI.

The common thing for libreboot people is that they use GRUB as the payload  
and not SeaBIOS or TianoCore so what you have there is something completely  
different from BIOS or UEFI.