Differences between revisions 42 and 43
Revision 42 as of 2014-02-17 22:50:47
Size: 4057
Comment: fix typo (unforseen)
Revision 43 as of 2016-01-14 14:08:09
Size: 4140
Editor: RogerShimizu
Comment: update to kernel's git repo
Deletions are marked like this. Additions are marked like this.
Line 55: Line 55:
 Patches included in the Debian Linux kernel :: [[http://svn.debian.org/wsvn/kernel/dists/trunk/linux-2.6/debian/patches/?rev=0&sc=0]]  Patches included in the Debian Linux kernel ::


Translation(s): English - Français - Italiano

(!) ?Discussion

Kernel > FAQ

Newer Kernel ?

Why would I install a new kernel?

It is often not necessary since the default kernel shipped with Debian handles most configurations. However, it is useful to compile a new kernel in order to:

  • Handle special hardware needs, or hardware conflicts with the pre-supplied kernels.
  • Optimize the kernel by removing useless drivers to speed up boot time (Do you really need it?)

  • Use options of the kernel which are not supported by the default kernel (see reasons).

You have two options to install a new kernel : you can install one of the precompiled kernels provided by Debian/GNU Linux or build the kernel yourself.

Installing linux image

This is explained in HowToUpgradeKernel.

Building my own kernel

If you just want to change the configuration or apply some patch, see HowToRebuildAnOfficialDebianKernelPackage.

If you want to build a kernel that is not distributed in Debian yet at all, see BuildingKernelFromUpstreamSources


Kernel Oops
The 'oops' refers to the message printed by the Linux kernel when an unforeseen condition occurs. Such incidents should be reported to the Linux kernel developers. Information on how to do so comes with the Linux kernel sources.


Misc FAQ

What's my current kernel?

Use the command uname(1). For example : uname -r which prints 2.6.26-1-686 (so the package name is linux-image-$(uname -r)).

Which package does it comes from?

Usually, this command will work : dpkg -p linux-image-$(uname -r).

Where is the kernel configuration file?

The kernel configuration file of Debian Official kernel are available in /boot, named after the kernel release, like /boot/config-2.6.18-6-486, or /boot/config-$(uname -r).

All the kernel configuration files, which were used to build the official Debian's binary kernel images from the linux-2.6 source package are available from http://kernel.alioth.debian.org/config/.

Does Debian have /proc/config.gz?

/proc/config.gz isn't available in Debian, because the config is provided in /boot/config-*, no need for the in-memory variant (Kernel configuration CONFIG_IKCONFIG and CONFIG_IKCONFIG_PROC). See 541489

The following bash command match the current configuration file (on standard kernel):

   1 ls /boot/config-$(uname -r)
Kernel Source ?

See dpkg -l 'linux-source*' for available source packages, and KernelGit for development trees.

Kernel Headers ??

see KernelHeaders.

Patches included in the Debian Linux kernel



Firmware not included

see KernelFirmwareLicensing?

New features

kernelnewbies.org has summaries of new features in kernels:

See also