The homepage says that: Debian is kernel independent. It currently uses the Linux kernel but work is in progress to provide Debian for other kernels, using Hurd. while intro/about says: Debian uses the Linux kernel, (which I gather is an earlier version, since the Danish translation of the front page (which I borrowed much of the wording for my Swedish translation) has that wording). -- \\// Peter - http://www.softwolves.pp.se/