* Add the list of architectures supported by the kFreeBSD port.

2 files changed, 34 insertions, 4 deletions

diff --git a/debian/changelog b/debian/changelog
index 481a5e6af..7678c056e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -18,8 +18,9 @@ installation-guide (2010xxxx) UNRELEASED; urgency=low
   * Rephrase Hurd-specific paragraph explaining that Debian GNU/Hurd is not
     Linux.
   * Add a "What is Debian GNU/kFreeBSD" section.
+  * Add the list of architectures supported by the kFreeBSD port.
 
- -- Samuel Thibault <sthibault@debian.org>  Mon, 06 Sep 2010 00:47:14 +0200
+ -- Samuel Thibault <sthibault@debian.org>  Mon, 06 Sep 2010 00:52:06 +0200
 
 installation-guide (20100518) unstable; urgency=low
 
diff --git a/en/hardware/hardware-supported.xml b/en/hardware/hardware-supported.xml
index fd436836d..af98a2f8f 100644
--- a/en/hardware/hardware-supported.xml
+++ b/en/hardware/hardware-supported.xml
@@ -153,8 +153,36 @@ variations of each architecture known as <quote>flavors</quote>.
 
 </para><para>
 
-This document covers installation for the
-<emphasis>&arch-title;</emphasis> architecture.  If you are looking
+Debian GNU/kFreeBSD &release; supports two architectures.
+
+</para><para>
+
+<informaltable>
+<tgroup cols="2">
+<thead>
+<row>
+  <entry>Architecture</entry><entry>Debian Designation</entry>
+</row>
+</thead>
+
+<tbody>
+<row>
+  <entry>Intel x86-based</entry>
+  <entry>kfreebsd-i386</entry>
+</row>
+
+<row>
+  <entry>AMD64 &amp; Intel EM64T</entry>
+  <entry>kfreebsd-amd64</entry>
+</row>
+
+</tbody></tgroup></informaltable>
+
+</para><para>
+
+This document covers installation for the <emphasis>&arch-title;</emphasis>
+architecture using the <emphasis>&arch-kernel;</emphasis> kernel.
+If you are looking
 for information on any of the other Debian-supported architectures
 take a look at the
 <ulink url="http://www.debian.org/ports/">Debian-Ports</ulink> pages.
@@ -179,7 +207,8 @@ testing by users) that some other architectures have had, you may
 encounter a few bugs. Use our
 <ulink url="&url-bts;">Bug Tracking System</ulink> to report any
 problems; make sure to mention the fact that the bug is on the
-&arch-title; platform. It can be necessary to use the
+&arch-title; platform using the <emphasis>&arch-kernel;</emphasis> kernel.
+It can be necessary to use the
 <ulink url="&url-list-subscribe;">debian-&arch-listname; mailing list</ulink>
 as well.