Block a user
Add system configuration for Pi 4
Multiple output image formats
Not necessary for Pi SD card image, can be achieved via:
nix build .#nixosConfigurations.pi.config.system.build.sdImage
and
nix build .#nixosConfigurations.pi.config.system.build.topLevel