Files
infra/machines/petra/configuration.nix