-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 <literal>i386</literal> (our name for Intel x86), there
-is <literal>m68k</literal>, <literal>alpha</literal>,
-<literal>powerpc</literal>, <literal>sparc</literal>,
-<literal>hurd-i386</literal>, <literal>arm</literal>,
-<literal>ia64</literal>, <literal>hppa</literal>,
-<literal>s390</literal>, <literal>mips</literal>,
-<literal>mipsel</literal> and <literal>sh</literal> as of this writing.
-</para>
-<para>
-&debian-formal; 1.3 is only available as <literal>i386</literal>. Debian