# Base configurations for Raspberry Pi 4s
{ config, pkgs, ... }:

{
  boot = {
    # This prevents us from having to compile our own kernel
    kernelPackages = pkgs.linuxPackages_rpi4;
    kernelParams = [
      "8250.nr_uarts=1"
      "console=ttyAMA0,115200"
      "console=tty1"
      "cma=128M"
    ];

    loader = {
      raspberryPi = {
        enable = true;
        version = 4;
      };

      # Use the extlinux boot loader. (NixOS wants to enable GRUB by default)
      grub.enable = false;

      # Enables the generation of /boot/extlinux/extlinux.conf
      #generic-extlinux-compatible.enable = true;
    };
  };

  environment.systemPackages = with pkgs; [
    raspberrypifw
    usbutils
  ];
}