nixos-hardware/raspberry-pi/4/default.nix

38 lines
796 B
Nix
Raw Normal View History

2021-05-11 07:32:03 +00:00
{ lib, pkgs, ...}:
{
2021-05-13 00:51:38 +00:00
imports = [
2021-08-14 15:17:21 +00:00
./audio.nix
./cpu-revision.nix
2021-05-27 04:42:19 +00:00
./dwc2.nix
./i2c.nix
2021-05-13 00:51:38 +00:00
./modesetting.nix
2021-06-03 00:47:23 +00:00
./poe-hat.nix
./poe-plus-hat.nix
2021-05-30 12:52:18 +00:00
./tc358743.nix
2022-02-21 20:06:43 +00:00
./pwm0.nix
./pkgs-overlays.nix
2021-05-13 00:51:38 +00:00
];
2021-05-11 07:32:03 +00:00
boot = {
kernelPackages = lib.mkDefault pkgs.linuxPackages_rpi4;
initrd.availableKernelModules = [
"usbhid"
"usb_storage"
"vc4"
"pcie_brcmstb" # required for the pcie bus to work
"reset-raspberrypi" # required for vl805 firmware to load
];
2021-05-11 07:32:03 +00:00
loader = {
grub.enable = lib.mkDefault false;
generic-extlinux-compatible.enable = lib.mkDefault true;
2021-05-11 07:32:03 +00:00
};
};
hardware.deviceTree.filter = "bcm2711-rpi-*.dtb";
2021-05-11 07:32:03 +00:00
# Required for the Wireless firmware
hardware.enableRedistributableFirmware = true;
}