Editing Debian (section)

=== Kernels ===
<!--
**** should be moved to [[The Debian Project]] ****

Debian supports the [[Linux kernel]] officially, having offered [[Debian GNU/kFreeBSD]] for version 7 but not 8,<ref name="new-in-7">{{cite web |url = http://www.debian.org/releases/wheezy/i386/release-notes/ch-whats-new.html |work = Release Notes for Debian 7.0 (wheezy), 32-bit PC |title = Chapter 2. What's new in Debian 7.0 |publisher = Debian |access-date = 2014-05-27 }}</ref> and [[GNU Hurd]] unofficially.<ref>{{cite web |url = http://www.debian.org/ports/hurd/ |title = Debian GNU/Hurd |publisher = Debian |date = 2014-05-01 |access-date = 2014-06-10 }}</ref> GNU/kFreeBSD was released as a technology preview for [[IA-32]] and [[x86-64]] [[computer architecture|architectures]],<ref name="new-in-7" /> and lacked the amount of software available in Debian's Linux distribution.<ref>{{cite web |url = https://release.debian.org/wheezy/arch_qualify.html |title = architecture requalification status for wheezy |publisher = Debian |access-date = 2014-08-15 }}</ref> Official support for kFreeBSD was removed for version 8, which did not provide a kFreeBSD-based distribution. [[Dyson (operating system)|Dyson]] is an unofficial derivative of Debian that implements the [[illumos]] kernel and [[Service Management Facility]] [[init]] system.<ref>{{Cite web|url=https://www.osdyson.org/projects/dyson/wiki|title=About - Dyson - Dyson — Debian GNU/kOpenSolaris|website=www.osdyson.org|access-date=2019-07-25}}</ref>
-->

Several flavors of the Linux kernel exist for each port. For example, the i386 port has flavors for IA-32 [[IBM PC compatible|PCs]] supporting [[Physical Address Extension]] and [[real-time computing]], for older PCs, and for x86-64 PCs.<ref>{{cite web |url = https://packages.debian.org/wheezy/linux-image |title = Virtual Package: linux-image |publisher = Debian |access-date = 2014-08-15 |archive-date = August 19, 2014 |archive-url = https://web.archive.org/web/20140819084518/https://packages.debian.org/wheezy/linux-image |url-status = live }}</ref> The Linux kernel does not officially contain [[firmware]] lacking source code, although such firmware is available in non-free packages and alternative installation media.<ref>{{cite web |url = https://kernel-handbook.alioth.debian.org/ch-source.html |work = Debian Linux Kernel Handbook |title = Chapter 2 – Debian kernel source |publisher = [[Alioth (Debian)|Alioth]] |date = 2013-12-14 |access-date = 2014-08-15 |archive-url = https://web.archive.org/web/20140604095349/http://kernel-handbook.alioth.debian.org/ch-source.html |archive-date = June 4, 2014 |url-status = dead }}</ref><ref>{{cite web |url = http://cdimage.debian.org/cdimage/unofficial/non-free/cd-including-firmware/ |title = Unofficial non-free CDs including firmware packages |publisher = Debian |access-date = 2014-08-16 |archive-date = August 16, 2014 |archive-url = https://web.archive.org/web/20140816095235/http://cdimage.debian.org/cdimage/unofficial/non-free/cd-including-firmware/ |url-status = live }}</ref>