Libreboot Coreboot Open-source firmware Codeberg SeaBIOS Intel Management Engine LGA 1155 List of computing mascots Linux-libre Custom firmware Binary blob Purism (company) Bootloader BIOS Richard Stallman Intel Active Management Technology ThinkPad X series Booting ThinkPad