summaryrefslogtreecommitdiff
path: root/en
diff options
context:
space:
mode:
Diffstat (limited to 'en')
-rw-r--r--en/hardware/supported/arm.xml2
-rw-r--r--en/install-methods/download/arm.xml13
2 files changed, 14 insertions, 1 deletions
diff --git a/en/hardware/supported/arm.xml b/en/hardware/supported/arm.xml
index 45c0c380f..4ecdc52e0 100644
--- a/en/hardware/supported/arm.xml
+++ b/en/hardware/supported/arm.xml
@@ -152,7 +152,7 @@ which make it unsuitable for the installation of newer &debian; releases.
</sect3>
-<sect3 arch="arm"><title>Platforms supported by Debian/armhf</title>
+<sect3 arch="arm" id="armhf-armmp-supported-platforms"><title>Platforms supported by Debian/armhf</title>
<para>
The following systems are known to work with &debian;/armhf using the
diff --git a/en/install-methods/download/arm.xml b/en/install-methods/download/arm.xml
index 8b0a776e8..943f92b5e 100644
--- a/en/install-methods/download/arm.xml
+++ b/en/install-methods/download/arm.xml
@@ -90,3 +90,16 @@ of a kernel and initrd for U-Boot. You can obtain these files from
</para>
</sect3>
+ <sect3 arch="arm" id="armmp-install-files">
+ <title>Armhf Multiplatform Installation Files</title>
+<para>
+
+The installation files for systems supported by the armhf multiplatform
+kernel (see <xref linkend="armhf-armmp-supported-platforms"/>) consist of a
+standard Linux kernel image, a standard Linux initial ramdisk image and a
+system-specific device-tree blob. The kernel and the initial ramdisk image
+can be obtained from &armmp-firmware-img; and the device-tree blob can be
+obtained from &armmp-dtb-img;.
+
+</para>
+ </sect3>