From 57fb82cebe681c3268691418b57aa188c99e60b2 Mon Sep 17 00:00:00 2001 From: Tao Tien <29749622+taotien@users.noreply.github.com> Date: Sat, 30 Sep 2023 17:07:49 -0700 Subject: [PATCH] rpi4 --- flake.nix | 4 ++-- systems/BASED.nix | 12 ++++++------ systems/NObangers.nix | 33 +++++++++++++++++++++++++++++++++ 3 files changed, 41 insertions(+), 8 deletions(-) create mode 100644 systems/NObangers.nix diff --git a/flake.nix b/flake.nix index 419abb7..61a2c2d 100644 --- a/flake.nix +++ b/flake.nix @@ -45,12 +45,12 @@ ]; NObangers = nixosSystem [ ({ config, pkgs, ... }: { nixpkgs.overlays = [ overlay-unstable ]; }) + nixos-hw.raspberry-pi-4 ./systems/BASED.nix ./systems/NObangers.nix + ./users/tao.nix ./extras/uwuraid.nix ]; }; - - }; } diff --git a/systems/BASED.nix b/systems/BASED.nix index 74661dd..6ee71f4 100644 --- a/systems/BASED.nix +++ b/systems/BASED.nix @@ -31,13 +31,13 @@ zathura zstd ]; - programs.partition-manager.enable = true; + programs.partition-manager.enable = lib.mkDefault true; - services.tailscale.enable = lib.mkDefault true; - services.openssh.enable = lib.mkDefault true; + services.tailscale.enable = true; + services.openssh.enable = true; services.flatpak.enable = lib.mkDefault true; services.printing.enable = lib.mkDefault true; - services.btrfs.autoScrub.enable = true; + services.btrfs.autoScrub.enable = lib.mkDefault true; environment.variables = { EDITOR = "hx"; @@ -59,8 +59,8 @@ hardware.enableAllFirmware = true; hardware.bluetooth.enable = lib.mkDefault true; - boot.loader.systemd-boot.enable = true; - boot.loader.efi.canTouchEfiVariables = true; + boot.loader.systemd-boot.enable = lib.mkDefault true; + boot.loader.efi.canTouchEfiVariables = lib.mkDefault true; boot.loader.timeout = 0; boot.supportedFilesystems = [ "ntfs" ]; diff --git a/systems/NObangers.nix b/systems/NObangers.nix new file mode 100644 index 0000000..e69fd7a --- /dev/null +++ b/systems/NObangers.nix @@ -0,0 +1,33 @@ +{ pkgs, ... }: { + environment.systemPackages = with pkgs; [ + libraspberrypi + raspberrypi-eeprom + ]; + + fileSystems."/" = { + device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888"; + fsType = "ext4"; + }; + services.btrfs.autoScrub.enable = false; + + boot.initrd.availableKernelModules = [ "xhci_pci" "usbhid" ]; + boot.loader.grub.enable = true; + boot.loader.generic-extlinux-compatible.enable = true; + console.enable = false; + powerManagement.cpuFreqGovernor = "ondemand"; + + hardware = { + raspberry-pi."4" = { + apply-overlays-dtmerge.enable = true; + # audio.enable = true; + # fkms-3d.enable = true; + }; + deviceTree = { + enable = true; + filter = "*rpi-4-*.dtb"; + }; + }; + + nixpkgs.hostPlatform = "aarch64-linux"; + networking.hostName = "NObangers"; +}