What linux kernel is the debian bsd emulating? Is it a 2.6.x or still a 2.4.x?
The GNU/kFreeBSD currently uses kernel from FreeBSD 7.0, there is also available snapshot from upcoming 7.1. The level of linux emulation is the same as on plain FreeBSD.
The GNU/kFreeBSD userspace uses native FreeBSD syscalls, not the emulation of linux ones. Petr