欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Coreboot
|   | 
您可以在Wikipedia上了解到此条目的英文信息 Coreboot Thanks, Wikipedia. | 
coreboot (formerly known as LinuxBIOS) is a Free Software project aimed at replacing the proprietary BIOS (firmware) you can find in most of today's computers.
It performs just a little bit of hardware initialization and then executes a so-called payload, for example a Linux kernel, FILO, GRUB2, OpenBIOS, Open Firmware, SmartFirmware, GNUFI (UEFI), Etherboot, ADLO (for booting Windows and OpenBSD), Plan 9, or memtest86.
LinuxBIOS is a Free Software project aimed at replacing the proprietary BIOS (firmware) you can find in most of today's computers.
Benefits
- 100% Free Software (GPL), no royalties, no license fees!
 - Fast boot times (3 seconds from power-on to Linux console)
 - Avoids the need for a slow, buggy, proprietary BIOS
 - Runs in 32-Bit protected mode almost from the start
 - Written in C, contains virtually no assembly code
 - Supports a wide variety of hardware and payloads
 - Further features: netboot, serial console, remote flashing, ...
 
Use Cases
- LinuxBIOS Cluster
 
the first LinuxBIOS cluster http://linuxbios.org/SC_2000 SC 2000
http://linuxbios.org/Ed a 128 node Alpha cluster running LinuxBIOS.