2023-09-30 17:07:49 -07:00
|
|
|
{ pkgs, ... }: {
|
|
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
|
libraspberrypi
|
|
|
|
|
raspberrypi-eeprom
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
fileSystems."/" = {
|
2023-09-30 22:39:53 -07:00
|
|
|
device = "/dev/disk/by-label/NIXOS_SD";
|
2023-09-30 17:07:49 -07:00
|
|
|
fsType = "ext4";
|
2023-09-30 22:39:53 -07:00
|
|
|
options = [ "noatime" ];
|
2023-10-01 01:09:58 -07:00
|
|
|
# autoResize = true;
|
2023-09-30 17:07:49 -07:00
|
|
|
};
|
2023-09-30 19:07:45 -07:00
|
|
|
programs.partition-manager.enable = false;
|
|
|
|
|
|
|
|
|
|
services.printing.enable = false;
|
2023-09-30 17:07:49 -07:00
|
|
|
services.btrfs.autoScrub.enable = false;
|
|
|
|
|
|
2023-09-30 23:35:09 -07:00
|
|
|
boot = {
|
2023-10-01 01:09:58 -07:00
|
|
|
initrd.availableKernelModules = [ "xhci_pci" "usbhid" "usb_storage" "vc4" "pcie_brcmstb" "reset-raspberrypi" ];
|
|
|
|
|
# initrd.availableKernelModules = [ "xhci_pci" ];
|
2023-09-30 23:35:09 -07:00
|
|
|
kernelParams = [
|
|
|
|
|
"8250.nr_uarts=1"
|
|
|
|
|
"cma=128M"
|
|
|
|
|
"console=tty1"
|
|
|
|
|
# "console=ttyAMA0,115200"
|
|
|
|
|
];
|
2024-01-28 19:54:19 -08:00
|
|
|
# loader = {
|
|
|
|
|
# raspberryPi = {
|
|
|
|
|
# enable = true;
|
|
|
|
|
# version = 4;
|
|
|
|
|
# };
|
|
|
|
|
# systemd-boot.enable = false;
|
|
|
|
|
# generic-extlinux-compatible.enable = false;
|
|
|
|
|
# };
|
2023-09-30 23:35:09 -07:00
|
|
|
kernelPackages = pkgs.linuxPackages_rpi4;
|
|
|
|
|
};
|
|
|
|
|
|
2023-10-01 00:49:55 -07:00
|
|
|
# powerManagement.cpuFreqGovernor = "ondemand";
|
2023-09-30 17:07:49 -07:00
|
|
|
|
|
|
|
|
hardware = {
|
|
|
|
|
raspberry-pi."4" = {
|
2023-09-30 23:35:09 -07:00
|
|
|
apply-overlays-dtmerge.enable = true;
|
2023-10-01 00:49:55 -07:00
|
|
|
# audio.enable = true;
|
2023-10-01 01:00:49 +00:00
|
|
|
fkms-3d.enable = true;
|
2023-09-30 17:07:49 -07:00
|
|
|
};
|
2023-09-30 23:35:09 -07:00
|
|
|
deviceTree = {
|
|
|
|
|
enable = true;
|
|
|
|
|
};
|
2023-09-30 17:07:49 -07:00
|
|
|
};
|
2023-09-30 23:38:04 -07:00
|
|
|
|
2023-10-01 01:09:58 -07:00
|
|
|
raspberry-pi.hardware.platform.type = "rpi4";
|
|
|
|
|
raspberry-pi.hardware.hifiberry-dacplus.enable = true;
|
2023-09-30 17:07:49 -07:00
|
|
|
|
|
|
|
|
nixpkgs.hostPlatform = "aarch64-linux";
|
2023-09-30 18:47:13 -07:00
|
|
|
system.stateVersion = "23.11";
|
2023-09-30 17:07:49 -07:00
|
|
|
networking.hostName = "NObangers";
|
|
|
|
|
}
|