diff options
Diffstat (limited to 'en/hardware/installation-media.xml')
-rw-r--r-- | en/hardware/installation-media.xml | 4 |
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. |