nixos-hardware/raspberry-pi/4/default.nix
2022-10-07 10:59:54 -04:00

32 lines
648 B
Nix

{ lib, pkgs, ...}:
{
imports = [
./audio.nix
./cpu-revision.nix
./dwc2.nix
./i2c.nix
./modesetting.nix
./poe-hat.nix
./poe-plus-hat.nix
./tc358743.nix
./pwm0.nix
./pkgs-overlays.nix
];
boot = {
kernelPackages = lib.mkDefault pkgs.linuxPackages_rpi4;
initrd.availableKernelModules = [ "usbhid" "usb_storage" "vc4" ];
loader = {
grub.enable = lib.mkDefault false;
generic-extlinux-compatible.enable = lib.mkDefault true;
};
};
hardware.deviceTree.filter = "bcm2711-rpi-*.dtb";
# Required for the Wireless firmware
hardware.enableRedistributableFirmware = true;
}