summaryrefslogtreecommitdiff
path: root/en/hardware/installation-media.xml
diff options
context:
space:
mode:
Diffstat (limited to 'en/hardware/installation-media.xml')
-rw-r--r--en/hardware/installation-media.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/en/hardware/installation-media.xml b/en/hardware/installation-media.xml
index d8d938ec5..ec7986ea7 100644
--- a/en/hardware/installation-media.xml
+++ b/en/hardware/installation-media.xml
@@ -156,8 +156,8 @@ linkend="linux-upgrade"/>.
The Debian boot disks contain a kernel which is built to maximize the
number of systems it runs on. Unfortunately, this makes for a larger
kernel, which includes many drivers that won't be used for your
-machine (see <xref linkend="kernel-baking"/> to learn how to
-build your own kernel). Support for the widest possible range of
+machine<phrase arch="linux-any"> (see <xref linkend="kernel-baking"/> to learn how to
+build your own kernel)</phrase>. Support for the widest possible range of
devices is desirable in general, to ensure that Debian can be
installed on the widest array of hardware.