nixos-config/common/hardware/raspberry-pi.nix

{lib, ...}: {
  # Raspberry PI 3 B+

  # Disable systemd-boot
  boot = {
    loader = {
      grub.enable = false;

      systemd-boot = {
        enable = lib.mkForce false;
      };

      efi.canTouchEfiVariables = false;
    };
  };

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

  # firmware
  hardware.enableRedistributableFirmware = true;
}