As of Debian 8 ("Jessie") Debian no longer ships multiple kernel flavours for the armhf port and instead ships two "multiplatform" kernel flavours: the regular armmp flavour and armmp-lpae which supports processors with Large Physical Address Extensions. Debian Installer will automatically install the armmp-lpae kernel if it detects that the hardware supports it.

These armmp images support a large number of platforms through the use of Device Tree (also known as dtb or fdt).

Debian ships a large number of upstream provided Device Tree Blobs as part of the kernel image, however this does not necessarily imply full support for the platform (e.g. support for all peripherals, integration with the installer etc).

Platform

Available Since

LPAE?1

Full Debian Installer2

Platform Specific Notes

Allwinner (sunxi)

8 (Jessie)

(./)

(./)

InstallingDebianOn/Allwinner

Calxeda Highbank

8 (Jessie)

{X}

?

Calxeda Midway

8 (Jessie)

(./)

?

Exynos5 (Arndale)

8 (Jessie)

(./)

(./)

Freescale iMX5x/iMX6

8 (Jessie)

?

?

InstallingDebianOn/Freescale/QuickStart

Marvell Armada 370

8 (Jessie)

{X}

?

Marvell Armada XP

8 (Jessie)

(./)

?

qemu-system-arm -m virt machine

8 (Jessie)

?

?

Versatile Express

8 (Jessie)

?

?

Xen Virtual Machine

8 (Jessie)

(./)

(./)


CategoryKernel | CategoryPermalink

  1. i.e. does the hardware support LPAE (1)

  2. i.e. Debian Installer works for the basic install on all platforms, this column indicates full integration, for example with the bootloader (via flash-kernel) (2)