diff options
author | Holger Wansing <holgerw@debian.org> | 2017-08-17 21:06:13 +0000 |
---|---|---|
committer | Holger Wansing <holgerw@debian.org> | 2017-08-17 21:06:13 +0000 |
commit | 7dc450c05053b5901ef810b7191bbdae17df5178 (patch) | |
tree | 9317a30dad986ecf596c5a3a165f397889c6030e /en | |
parent | 3aa082a832ed636874995bf9e7bd25d0910c3365 (diff) | |
download | installation-guide-7dc450c05053b5901ef810b7191bbdae17df5178.zip |
Set forgotten conditions 'bootable-usb' and 'isohybrid-supported' for
arm64. This leads to the need of some content about how to select the
boot device for arm64. Added a placeholder for that, content to be added.
Diffstat (limited to 'en')
-rw-r--r-- | en/preparing/bios-setup/arm.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/en/preparing/bios-setup/arm.xml b/en/preparing/bios-setup/arm.xml index cfb9e867b..6a89a3073 100644 --- a/en/preparing/bios-setup/arm.xml +++ b/en/preparing/bios-setup/arm.xml @@ -2,6 +2,13 @@ <!-- $Id$ --> + <sect2 arch="arm64" id="boot-dev-select"><title>Boot Device Selection</title> + + <para> +<!-- placeholder, content to be added --> + </para> + </sect2> + <sect2 arch="arm" id="arm-firmware-overview"><title>ARM firmware</title> <para> |