KfreeBSD-AMD64 and KFREBSD-I386 have been removed from the archive of the Debian ports. However, GNU/kfreeBSD packages can still be downloaded from the server with snapshots. The only actively developed Debian platform, based on a different kernel than Linux, is Debian GNU/Hurd, which continues to create unofficial builds.
The Debian gnu/kfreebsd port, which combines the FreeBSD kernel with a user environment based on Glibc and GNU-Utlit, was previously supported in Debian 6 and Debian 7. However, it has been excluded from the officially supported architectures in Debian 8 and is now in a semi-abandoned state. The last Buildd boot for KFREEBSD-AMD64 and KFREEBSD-I386 occurred over a year ago. KFREEBSD-I386 ports were never loaded last year, but KFREBSD-AMD64 ports were loaded only 11 times. The total number of current packages for GNU/kfreeBSD has decreased to 30%.