gistfile1.txt

[grahamc@Morbo:~]$ bootctl
System:
     Firmware: UEFI 2.40 (American Megatrends 5.11)
  Secure Boot: enabled
   Setup Mode: user

Current Loader:
      Product: systemd-boot 239
         Stub: systemd-stub 239
          ESP: /dev/disk/by-partuuid/a4cefad0-e575-4045-81b3-7aa7c77a498e
         File: └─/EFI/Linux/example.efi

Boot Loader Binaries:
          ESP: /boot
         File: └─/EFI/systemd/systemd-bootx64.efi (systemd-boot 239)
         File: └─/EFI/BOOT/BOOTX64.EFI (systemd-boot 239)

Boot Loader Entries in EFI Variables:
        Title: Linux Boot Manager
           ID: 0x0002
       Status: active, boot-order
    Partition: /dev/disk/by-partuuid/a4cefad0-e575-4045-81b3-7aa7c77a498e
         File: └─/EFI/systemd/systemd-bootx64.efi

        Title: Windows Boot Manager
           ID: 0x0000
       Status: inactive, boot-order
    Partition: /dev/disk/by-partuuid/a4cefad0-e575-4045-81b3-7aa7c77a498e
         File: └─/EFI/Microsoft/Boot/bootmgfw.efi

Default Boot Entry:
        title: NixOS (Generation 24 NixOS 18.09.1853.c2950341d03, Linux Kernel 4.19.13, Built on 2019-01-11)
      version: Generation 24 NixOS 18.09.1853.c2950341d03, Linux Kernel 4.19.13, Built on 2019-01-11
        linux: /efi/nixos/syxlbj7x2jl841xmbg7sxs0i30rhzpjn-linux-4.19.13-bzImage.efi
       initrd: /efi/nixos/nxzpmhvprk0b4b4r9dr5dydf3yqwwdbm-initrd-initrd.efi
      options: systemConfig=/nix/store/914mi7cx52p0xama4zh0963syhwq3ap6-nixos-system-Morbo-18.09.1853.c2950341d03 init=/nix/store/914mi7cx52p0xama4zh0963syhwq3ap6-nixos-system-Morbo-18.09.1853.c2950341d03/init acpi_rev_override=5 loglevel=4