Package: doc-debian Version: today's CVS Severity: wishlist Tags: patch Hi,
The note on the Linux kernel seems to imply ports to non-i386 platforms are not mature. Attached patch fixes this. Bye, Joost
--- basic_defs.sgml.orig 2005-10-12 10:15:54.923039561 +0200 +++ basic_defs.sgml.linuxports 2005-10-26 13:58:54.597316595 +0200 @@ -70,8 +70,8 @@ <sect id="linux">OK, now I know what Debian is... what is Linux?! <p>In short, Linux is the kernel of a Unix-like operating system. It was -originally designed for 386 (and better) PCs; now, ports to other systems, -including multi-processor systems, are under development. Linux is written +originally designed for 386 (and better) PCs; today Linux also runs on a +dozen of other systems. Linux is written by Linus Torvalds and many computer scientists around the world. <p>Besides its kernel, a "Linux" system usually has:
signature.asc
Description: Digital signature
