-popular, the kernel was ported to other architectures, too.
-</para>
-<para>
-The Linux 2.0 kernel supports Intel x86, DEC Alpha, SPARC, Motorola 680x0 (like
-Atari, Amiga and Macintoshes), MIPS, and PowerPC. The Linux 2.2 kernel
-supports even more architectures, including ARM and UltraSPARC. Since Linux
-supports these platforms, Debian decided that it should, too. Therefore,
-Debian has ports underway; in fact, we also have ports underway to non-Linux
-kernels. Aside from <emphasis>i386</emphasis> (our name for Intel x86), there
-is <emphasis>m68k</emphasis>, <emphasis>alpha</emphasis>,
-<emphasis>powerpc</emphasis>, <emphasis>sparc</emphasis>,
-<emphasis>hurd-i386</emphasis>, <emphasis>arm</emphasis>,
-<emphasis>ia64</emphasis>, <emphasis>hppa</emphasis>,
-<emphasis>s390</emphasis>, <emphasis>mips</emphasis>,
-<emphasis>mipsel</emphasis> and <emphasis>sh</emphasis> as of this writing.
-</para>
-<para>
-&debian-formal; 1.3 is only available as <emphasis>i386</emphasis>. Debian
-2.0 shipped for <emphasis>i386</emphasis> and <emphasis>m68k</emphasis>
-architectures. Debian 2.1 ships for the <emphasis>i386</emphasis>,
-<emphasis>m68k</emphasis>, <emphasis>alpha</emphasis>, and
-<emphasis>sparc</emphasis> architectures. Debian 2.2 added support for the
-<emphasis>powerpc</emphasis> and <emphasis>arm</emphasis> architectures.
-Debian 3.0 added support of five new architectures: <emphasis>ia64</emphasis>,
-<emphasis>hppa</emphasis>, <emphasis>s390</emphasis>, <emphasis>mips</emphasis>
-and <emphasis>mipsel</emphasis>.
+popular, the kernel was ported to other architectures and Debian started
+to support them. And as if supporting so much hardware was not enough,
+Debian decided to build some ports based on other Unix kernels, like
+<literal>hurd</literal> and <literal>kfreebsd</literal>.
+</para>
+<para>
+&debian-formal; 1.3 was only available as <literal>i386</literal>. Debian
+2.0 shipped for <literal>i386</literal> and <literal>m68k</literal>
+architectures. Debian 2.1 shipped for the <literal>i386</literal>,
+<literal>m68k</literal>, <literal>alpha</literal>, and
+<literal>sparc</literal> architectures. Since then Debian has grown hugely.
+Debian 6 supports a total of nine Linux architectures (<literal>amd64</literal>,
+<literal>armel</literal>, <literal>i386</literal>,
+<literal>ia64</literal>, <literal>mips</literal>,
+<literal>mipsel</literal>, <literal>powerpc</literal>,
+<literal>s390</literal>, <literal>sparc</literal>) and two kFreeBSD architectures
+(<literal>kfreebsd-i386</literal> and <literal>kfreebsd-amd64</literal>).