Package: www.debian.org Version: N/A; reported 2002-11-09 Severity: normal At present, virtually all Debian installations use the Linux kernel. However, the HURD and BSD ports are making good progress, and one or more may be ready in time for the next release. I think we need to move away from the idea that Debian is just a Linux distro -- it's a powerful operating environment, that runs on a number of platforms.
Unfortunately, many Debian documents, including the front page of www.debian.org, are peppered with references to GNU/Linux. Changing this will take time, which is why I'm filing this now. By gradually removing kernel specificity in future revisions, hopefully we can be on top of this in time for the first non-Linux release, whenever it may be. -- System Information Debian Release: testing/unstable Architecture: i386 Kernel: Linux cahier 2.4.18-lm+htb+freeswan #1 Sat Jun 1 00:53:20 BST 2002 i586 Locale: LANG=en_GB, LC_CTYPE=en_GB.UTF-8
