Debian does not impose hardware requirements beyond the requirements of the Linux or kFreeBSD kernel and the GNU tool-sets. Therefore, any architecture or platform to which the Linux or kFreeBSD kernel, libc, gcc, etc. have been ported, and for which a Debian port exists, can run Debian. Please refer to the Ports pages at http://www.debian.org/ports/kfreebsd-gnu/ for more details on 64-bit PC architecture systems which have been tested with Debian GNU/kFreeBSD.
Rather than attempting to describe all the different hardware configurations which are supported for 64-bit PC, this section contains general information and pointers to where additional information can be found.
Debian GNU/Linux 8 supports eight major architectures and several variations of each architecture known as “flavors”.
|AMD64 & Intel 64||amd64|
|ARM with hardware FPU||armhf||multiplatform||armmp|
|multiplatform for LPAE-capable systems||armmp-lpae|
|MIPS (big endian)||mips||SGI IP22 (Indy/Indigo 2)||r4k-ip22|
|SGI IP32 (O2)||r5k-ip32|
|MIPS Malta (32 bit)||4kc-malta|
|MIPS Malta (64 bit)||5kc-malta|
|MIPS (little endian)||mipsel||MIPS Malta (32 bit)||4kc-malta|
|MIPS Malta (64 bit)||5kc-malta|
|64bit IBM S/390||s390x||IPL from VM-reader and DASD||generic|
Debian GNU/kFreeBSD 8 supports two architectures.
|AMD64 & Intel 64||kfreebsd-amd64|
This document covers installation for the 64-bit PC architecture using the kFreeBSD kernel. If you are looking for information on any of the other Debian-supported architectures take a look at the Debian-Ports pages.
This is the first official release of Debian GNU/kFreeBSD for the 64-bit PC architecture. We feel that it has proven itself sufficiently to be released. However, because it has not had the exposure (and hence testing by users) that some other architectures have had, you may encounter a few bugs. Use our Bug Tracking System to report any problems; make sure to mention the fact that the bug is on the 64-bit PC platform using the kFreeBSD kernel. It can be necessary to use the debian-bsd mailing list as well.
Multiprocessor support — also called “symmetric multiprocessing” or SMP — is available for this architecture. The standard Debian 8 kernel image has been compiled with SMP-alternatives support. This means that the kernel will detect the number of processors (or processor cores) and will automatically deactivate SMP on uniprocessor systems.
Having multiple processors in a computer was originally only an issue for high-end server systems but has become common in recent years nearly everywhere with the introduction of so called “multi-core” processors. These contain two or more processor units, called “cores”, in one physical chip.
Details on supported graphics cards and pointing devices can be found at http://xorg.freedesktop.org/. Debian 8 ships with X.Org version 7.7.
Almost any network interface card (NIC) supported by the kFreeBSD kernel should also be supported by the installation system; drivers should normally be loaded automatically.
Wireless networking is in general supported as well and a growing number of wireless adapters are supported by the official kFreeBSD kernel, although many of them do require firmware to be loaded.
If firmware is needed, the installer will prompt you to load firmware. See Section 6.4, “Loading Missing Firmware” for detailed information on how to load firmware during the installation.
Wireless NICs that are not supported by the official kFreeBSD kernel can generally be made to work under Debian GNU/kFreeBSD, but are not supported during the installation.
If there is a problem with wireless and there is no other NIC you can use during the installation, it is still possible to install Debian GNU/kFreeBSD using a full CD-ROM or DVD image. Select the option to not configure a network and install using only the packages available from the CD/DVD. You can then install the driver and firmware you need after the installation is completed (after the reboot) and configure your network manually.
In some cases the driver you need may not be available as a Debian package. You will then have to look if there is source code available in the internet and compile the driver yourself. How to do this is outside the scope of this manual.