Ende 2008 haben sich die Debian Entwickler nach einer Abstimmung dazu entschieden im Debian Kernel binäre proprietäre Firmware Code Teile zu belassen die nicht der Debian Free Software Guidelines (DFSG) entsprechen.
Robert Millan hat nun auf der Debian-Liste einen Kerne zur Verfügung gestellt, der von frei proprietären Firmware Teilen ist. Um diesen zu verwenden muss lediglich die sources.list angepasst werden
deb http://people.debian.org/~rmh/linux-libre lenny main
sowie der Archiv Key importiert werden
Mittlerweile kann unter Debian übrigens auch der FreeBSD Kernel installiert werden.