{ pkgs, ... }:
{
  boot = {
    # TODO: drop the extend once NixOS/nixpkgs#575861 lands (v4l2loopback ships
    # depmod files that conflict with the kernel's in linux-*-modules).
    kernelPackages = pkgs.linuxPackages_latest.extend (
      _: prev: {
        v4l2loopback = prev.v4l2loopback.overrideAttrs (old: {
          installFlags = (old.installFlags or [ ]) ++ [ "DEPMOD=true" ];
        });
      }
    );

    loader = {
      systemd-boot.enable = true;
      efi.canTouchEfiVariables = true;
      # Skip the boot menu; hold Space while booting to show it.
      timeout = 0;
      # Keep /boot from filling up with old generations.
      systemd-boot.configurationLimit = 5;
    };

    # Quiet boot
    consoleLogLevel = 3;
    initrd.verbose = false;
    kernelParams = [
      "quiet"
      "udev.log_level=3"
      "rd.udev.log_level=3"
      "systemd.show_status=auto"
      "rd.systemd.show_status=auto"
    ];
  };
}