{ pkgs, lib, ... }:
{
  # uas (uasp, scsi over usb), usbcore (needed(???) for the drive at boot)
  # pcie_brcmstb (required for pcie), reset-raspberrypi (needed for vl805 firmware to load)
  boot.initrd.availableKernelModules = [ "pcie_brcmstb" "reset-raspberrypi" "uas" "usbcore" ];

  # needed for initial framebuffer logs to appear on raspberry pi
  # i think. this fixes it but idk if they are all required
  boot.kernelParams = [
    "8250.nr_uarts=1"
    "cma=128M"
    "console=tty0"
  ];
}