raspberry-pi-nix/rpi/default.nix
2022-08-25 12:56:55 -04:00

26 lines
569 B
Nix

{ overlay, nixpkgs }:
{ lib, pkgs, config, ... }:
{
imports = [
(import ../sd-image nixpkgs)
./device-tree.nix
./audio.nix
./i2c.nix
./i2s.nix
./modesetting.nix
];
nixpkgs = { overlays = [ overlay ]; };
boot = {
kernelPackages = pkgs.linuxPackagesFor (pkgs.linux_rpi-5_15_56);
initrd.availableKernelModules = [ "usbhid" "usb_storage" "vc4" ];
loader = {
grub.enable = lib.mkDefault false;
generic-extlinux-compatible.enable = lib.mkDefault true;
};
};
hardware.enableRedistributableFirmware = true;
}