Contributions gathered by Holger Wansing: Add ppc64el bits

1 files changed, 38 insertions, 0 deletions

diff --git a/en/boot-installer/powerpc.xml b/en/boot-installer/powerpc.xml
index 642a8d460..5351bf9f0 100644
--- a/en/boot-installer/powerpc.xml
+++ b/en/boot-installer/powerpc.xml
@@ -283,3 +283,41 @@ hardware, this changes to
 
 </para>
   </sect2>
+
+  <sect2 arch="ppc64el"> <title>Booting a ppc64el machine</title>
+<para>
+
+How to boot a ppc64el machine:
+
+</para>
+
+  <sect3> <title>Petitboot</title>
+<para>
+
+Petitboot is a platform independent bootloader based on the Linux kexec.
+Petitboot supports loading kernel, initrd and device tree files from 
+any Linux mountable filesystem, plus can load files from the network 
+using the FTP, SFTP, TFTP, NFS, HTTP and HTTPS protocols. Petitboot can
+boot any operating system that includes kexec boot support.
+
+</para><para>
+
+Petitboot looks for bootloader configuration files on mountable devices
+in the system, and can also be configured to use boot information from a
+DHCP server.
+
+</para>
+  </sect3>
+
+<!-- comment this out for now, since there is no content
+  <sect3> <title>Boot parameters</title>
+<para>
+        Boot parameters for ppc64el
+
+FIXME: add some useful content here
+
+</para>
+  </sect3>
+-->
+
+  </sect2>