欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
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.