{ config, lib, pkgs, ... }: {
  # System boots
  boot.loader.systemd-boot.enable = true;
  boot.loader.efi.canTouchEfiVariables = true;
}