欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
UClibc
uClibc is a small C standard library intended for embedded Linux systems. It is free software, licensed under the LGPL.
uClibc was created to support uClinux, a version of Linux not requiring a memory management unit and thus suited for microcontrollers (hence the "uC" in the name).
uClibc is much smaller than GNU C Library (glibc), the C library normally used with Linux distributions. While glibc is intended to fully support all relevant C standards across a wide range of platforms, uClibc is specifically focused on embedded Linux. Features can be enabled or disabled according to space requirements.
uClibc runs on standard and MMU-less Linux systems. It supports i386, ARM (big/little endian), Blackfin, h8300, m68k, MIPS (big/little endian), PowerPC, SuperH (big/little endian), SPARC, and v850 processors.
The project lead is Erik Andersen. The other main contributor is Manuel Novoa III.
External links
- Project home page
- Freshmeat project page
- uCdot (embedded Linux forum site)