nixos-combined-flake/hosts/pi0.odie.intranet/hardware-configuration.nix

46 lines
968 B
Nix

{ lib, pkgs, ... }: {
boot = {
loader.grub.enable = false;
loader.generic-extlinux-compatible.enable = true;
kernelPackages = pkgs.linuxPackages_rpi4;
kernelParams = [ "snd_bcm2835.enable_headphones=1" "snd_bcm2835.enable_hdmi=1" ];
initrd.availableKernelModules = lib.mkDefault [
"vc4"
"bcm2835_dma"
"i2c_bcm2835"
"xhci_pci"
"usbhid"
"usb_storage"
];
};
swapDevices = [{
device = "/var/lib/swapfile";
size = 4 * 1024;
}];
fileSystems = {
"/" = {
device = "/dev/disk/by-label/NIXOS_SD";
fsType = "ext4";
options = [ "noatime" ];
};
};
hardware = {
raspberry-pi = {
enable = true;
cec.enable = true;
"4" = {
apply-overlays-dtmerge.enable = true;
fkms-3d.enable = true;
};
enableRedistributableFirmware = true;
};
};
system.stateVersion = "23.11";
nixpkgs.hostPlatform.system = "aarch64-linux";
}