As of Debian 8 ("Jessie") Debian no longer ships single-platform 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)

(./)

some

InstallingDebianOn/Allwinner

Altera SOCFPGA

8 (Jessie)

{X}

?

Amlogic Meson

10 (Buster)

{X}

?

Arm Versatile Express

8 (Jessie)

some

?

Broadcom BCM2836

9 (Stretch)

(./)

{X}

RaspberryPi2

Calxeda Highbank

8 (Jessie)

{X}

?

Calxeda Midway

8 (Jessie)

(./)

?

Freescale iMX5x/iMX6

8 (Jessie)

{X}

?

InstallingDebianOn/Freescale/i.MX53 Quick Start board

Marvell Armada 370

8 (Jessie)

{X}

?

Marvell Armada XP

8 (Jessie)

(./)

?

Marvell Dove

10 (Buster)

{X}

?

InstallingDebianOn/SolidRun/CuBox

Marvell MMP2

Bullseye

{X}

?

Nvidia Tegra

9 (Stretch)

some

?

InstallingDebianOn/Acer/Chromebook_13_CB5-311-T8BT, InstallingDebianOn/CompuLab, InstallingDebianOn/NVIDIA/Jetson-TK1 InstallingDebianOn/Toshiba/AC100

QEMU virt machine

8 (Jessie)

(./)

?

Rockchip

9 (Stretch)

some

?

InstallingDebianOn/Asus/C101PA, InstallingDebianOn/Asus/C201, InstallingDebianOn/Asus/TinkerBoard

Samsung Exynos5

8 (Jessie)

(./)

{X}

InstallingDebianOn/OdroidHC1, InstallingDebianOn/Samsung/ARMChromebook

TI OMAP3/OMAP4

8 (Jessie)

{X}

?

InstallingDebianOn/PandaBoard

TI OMAP5

8 (Jessie)

(./)

?

TI AM33xx

8 (Jessie)

{X}

?

InstallingDebianOn/TI/BeagleBone

TI DRA7xxx

9 (Stretch)

(./)

?

WonderMedia WM8850

8 (Jessie)

{X}

?

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)