Also, you can have NixOS instead of debian: https://github.com/nix-community/nixos-avf