I believe that the GNU/kfreebsd stuff is unfortunately fairly abandoned? I am very interested in https://github.com/nixos-bsd/nixbsd and then Redox support and then maybe more in the line of https://github.com/nix-community/redoxpkgs afterwards.