On Tue, Mar 26, 2002 at 04:14:19PM +0100, Jeroen Dekkers wrote: > What's "the kernel? BSD, Mach, L4, Linux, ...??? Linux. Get used to the current reality. Maybe in the future that will change, when there's a reason to do so, but not now. -- Mike Stone -- To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org