1
0
mirror of https://github.com/NixOS/nixos-hardware synced 2024-06-29 07:58:32 +02:00
nixos-hardware/raspberry-pi/4/default.nix
2021-05-12 14:37:30 +02:00

18 lines
408 B
Nix

{ lib, pkgs, ...}:
{
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;
};
};
nix.buildCores = 4;
# Required for the Wireless firmware
hardware.enableRedistributableFirmware = true;
}