{ config, pkgs, lib, ... }: { environment.systemPackages = with pkgs; [ raspberrypi-eeprom ]; programs.partition-manager.enable = false; services.printing.enable = false; i18n.inputMethod = {}; services.xserver.enable = false; services.desktopManager.plasma6.enable = false; services.pipewire.enable = false; services.pulseaudio.enable = true; config.hardware.raspberry-pi."4" = { bluetooth.enable = true; fkms-3d.enable = true; }; users.users.tao = { isNormalUser = true; hashedPasswordFile = config.age.secrets.password-tao.path; extraGroups = ["audio" "video" "wheel" "libvirtd" "dialout" "game"]; shell = pkgs.nushell; }; boot.loader.systemd-boot.enable = false; boot.loader.efi.canTouchEfiVariables = false; fileSystems = { "/" = { device = "/dev/disk/by-label/NIXOS_SD"; fsType = "ext4"; options = ["noatime"]; }; }; nix.buildMachines = [ { hostName = "nolaptop"; systems = ["x86_64-linux" "i686-linux"]; supportedFeatures = [ "benchmark" "big-parallel" "gccarch-znver4" "kvm" "nixos-test" ]; } ]; nix.extraOptions = '' builders-use-substitutes = true ''; nix.distributedBuilds = true; networking.hostName = "NObangers"; nixpkgs.hostPlatform = "aarch64-linux"; system.stateVersion = "23.11"; }