欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Coreboot
来自开放百科 - 灰狐
LinuxBIOS is a Free Software project aimed at replacing the proprietary BIOS (firmware) you can find in most of today's computers.
coreboot is new project name now.
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 Ed|a 128 node Alpha cluster running LinuxBIOS.
分享您的观点