Dear maintainers, README.txt/html in Debian installation media says: "Debian is kernel independent. It currently uses either the Linux or FreeBSD kernel."
I don't think this is ideal, since kFreeBSD port is dead. Development was officially terminated a year ago. Perhaps consider mentioning Hurd instead, which I believe is still somewhat actively developed. Pablo
