<pawprint>"Debian GNU/kFreeBSD is a port that consists of GNU userland using the GNU C library on top of FreeBSD's kernel, coupled with the regular Debian package set."
<mark_weaver>anyway, my understanding is that portability to non-GNU systems is not a goal for us. however, it _might_ be okay if it can be done without adding noticably to our ongoing maintenance burden.
<mark_weaver>and it _might_ be that using GNU libc on a BSD kernel would require relatively little work. we are unlikely to want to use another C library.