The current description at lists.debian.org is "Kernels used with Debian (Linux, Hurd, etc.), ..." FreeBSD and Hurd kernels are discussed on the respective port lists. Please correct the description to refer to the Linux kernel only. Ben. -- Ben Hutchings 73.46% of all statistics are made up.
Description: This is a digitally signed message part