{ config, lib, ... }:
{
  nixpkgs.system = "aarch64-linux";
  boot.loader.systemd-boot.enable = true;
  boot.loader.efi.canTouchEfiVariables = false;
}