I believe that the GNU/kfreebsd stuff is unfortunately fairly abandoned? I am very interested in https://github.com/nixos-bsd/nixbsd https://github.com/nixos-bs

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