{
  fileSystems."/boot" =
    { device = "/dev/disk/by-label/EFI";
      fsType = "vfat";
      options = [ "fmask=0077" "dmask=0077" "x-systemd.automount,x-systemd.idle-timeout=1min" ];
    };
}