[Trisquel-users] How to know your BIOS name and version?

[andre]

Hi all,

How do you know our BIOS name (Seabios/Coreboot/Libreboot) and version?

btw if I hit F2 during boot, then I get GNU Grub 2.02.

Thank you.