{ pkgs, lib, ... }:
{
  boot = {
    kernelPackages = pkgs.linuxPackages_latest;
    initrd.availableKernelModules = [
      "xhci_pci"
      "usbhid"
      "usb_storage"
    ];
    # We're using EFI so enable systemd-boot
    loader = {
      systemd-boot.enable = true;
      generic-extlinux-compatible.enable = lib.mkForce false;
    };
    # kernelParams = [
    #   "snd_bcm2835.enable_hdmi=1"
    #   ];
  };
}