1
0
Fork 0
mirror of https://github.com/NixOS/nixos-hardware synced 2024-11-01 00:29:40 +01:00
nixos-hardware/raspberry-pi/5/default.nix
2024-05-06 07:04:32 +00:00

35 lines
1,002 B
Nix

{ lib, pkgs, config, ... }:
let
linux_rpi5 = pkgs.linux_rpi4.override {
rpiVersion = 5;
argsOverride.defconfig = "bcm2712_defconfig";
};
in
{
boot = {
kernelPackages = lib.mkDefault (pkgs.linuxPackagesFor linux_rpi5);
initrd.availableKernelModules = [
"nvme"
"usbhid"
"usb_storage"
];
};
# Needed for Xorg to start (https://github.com/raspberrypi-ui/gldriver-test/blob/master/usr/lib/systemd/scripts/rp1_test.sh)
# This won't work for displays connected to the RP1 (DPI/composite/MIPI DSI), since I don't have one to test.
services.xserver.extraConfig = ''
Section "OutputClass"
Identifier "vc4"
MatchDriver "vc4"
Driver "modesetting"
Option "PrimaryGPU" "true"
EndSection
'';
assertions = [
{
assertion = (lib.versionAtLeast config.boot.kernelPackages.kernel.version "6.1.54");
message = "The Raspberry Pi 5 requires a newer kernel version (>=6.1.54). Please upgrade nixpkgs for this system.";
}
];
}