Update the website for the ppc64el port (Closes: #783655)

Patch-by: Fernando Seiti Furusato <ferseiti@br.ibm.com>

CVS version numbers

english/ports/index.wml: 1.121 -> 1.122 
english/ports/powerpc/index.wml: 1.80 -> 1.81 
english/releases/arches.data: 1.7 -> 1.8

1 files changed, 42 insertions, 4 deletions

diff --git a/english/ports/powerpc/index.wml b/english/ports/powerpc/index.wml
index 7edb5122ee5..eab465615d7 100644
--- a/english/ports/powerpc/index.wml
+++ b/english/ports/powerpc/index.wml
@@ -1,7 +1,10 @@
 #use wml::debian::template title="PowerPC Port" NOHEADER="yes"
 #include "$(ENGLISHDIR)/ports/powerpc/menu.inc"
+#use wml::debian::toc
 
-<h1>Debian for PowerPC</h1>
+<toc-display/>
+
+<h1><toc-add-entry name="about">Debian for PowerPC</toc-add-entry></h1>
 
 <p>
 <img src="pics/ppc750.jpg" alt="PPC-750 picture" class="rightico">
@@ -45,7 +48,24 @@ release note</a> and <a href="$(HOME)/releases/stable/powerpc/">\
 installation manual</a> for further information.
 </p>
 
-<h3>Installation</h3>
+<toc-add-entry name="ppc64el">Debian on 64-bit Little Endian PowerPC (ppc64el)</toc-add-entry>
+<p>
+Starting on the release of Debian 8.0 (Jessie), ppc64el is an officially
+supported architecture on Debian.
+</p>
+<p>
+Here you can find information about the
+<a href="http://en.wikipedia.org/wiki/Ppc64">64-bit PowerPC</a>
+<a href="http://en.wikipedia.org/wiki/Little_endian">Little Endian</a> 
+architecture.
+</p>
+<p>
+However, note that there is also information at the 
+<a href="https://wiki.debian.org/ppc64el">ppc64el wiki</a> page, such as 
+installation and ABI information.
+</p>
+
+<h3><toc-add-entry name="installation">Installation</toc-add-entry></h3>
 
 <p>
  There are a variety of systems using the PowerPC
@@ -98,7 +118,7 @@ Installing Debian Wheezy/testing on an iBook G3</a></li>
  you some time and headaches!
 </p>
 
-<h3>Links - Documentation</h3>
+<h3><toc-add-entry name="docs">Links - Documentation</toc-add-entry></h3>
 
 <p>Up-to-date information on Linux for PowerPC is at
 <a href="http://penguinppc.org/">PenguinPPC</a>.
@@ -107,9 +127,27 @@ a couple of <a href="devel">pointers</a> for Debian PowerPC developers.</p>
 
 <p>Hardware specifications for Apple computers are available at 
 <a href="http://support.apple.com/specs/">AppleSpec</a>.</p>
+<p>
+More information and documentation about the POWER architecture:
+</p>
+<ul>
+<li><a href="https://www-03.ibm.com/technologyconnect/tgcm/TGCMServlet.wss?
+alias=OpenPOWER"> Official ELFv2 ABI Specification</a> (under section 'Link')
+or this
+<a href="https://www-03.ibm.com/technologyconnect/tgcm/TGCMFileServlet.wss
+/ABI64BitOpenPOWER_21July2014_pub.pdf?id=B81AEC1A37F5DAF185257C3E004E8845">
+PDF</a>. Registration required. </li>
+<li><a href="https://gcc.gnu.org/wiki/cauldron2014#Slides_and_Notes">GNU Tools
+Caldron 2014</a> slides &amp; video</li>
+</ul>
+
+<h2><toc-add-entry name="availablehw">Available Hardware for Contributors</toc-add-entry></h2>
 
+<p> Please read the <a href="https://db.debian.org/machines.cgi">list of
+Debian machines</a> to access powerpc/ppc64el Debian porterboxen.
+</p>
 
-<h2>Contact information</h2>
+<h2><toc-add-entry name="contact">Contact information</toc-add-entry></h2>
 
 <p>If you need help, try asking for help in the following places:</p>