Add sd-aarch64-efi

[Kreyren]

       error: The option `system.build.installBootLoader' is defined multiple times while it's expected to be unique.
       Only one bootloader can be enabled at a time. This requirement has not
       been checked until NixOS 22.05. Earlier versions defaulted to the last
       definition. Change your configuration to enable only one bootloader.

       Definition values:
       - In `/nix/store/31d5z7s5lnq6xczlw03arvndm83rxb9i-source/nixos/modules/system/boot/loader/generic-extlinux-compatible': "/nix/store/8jxapr6p77g9rcw5bxrmgq7vx6f1577b-extlinux-conf-builder.sh -g 20 -t 5 -c"
       - In `/nix/store/31d5z7s5lnq6xczlw03arvndm83rxb9i-source/nixos/modules/system/boot/loader/systemd-boot/systemd-boot.nix': <derivation install-systemd-boot.sh>
       Use `lib.mkForce value` or `lib.mkDefault value` to change the priority on any of these definitions.

It's pain to make it generate an sd-card image with UEFI -> Proposing to fork sd-aarch64 and make sd-aarch64-efi with adjustments to use UEFI configuration.

[Lassulus]

where is the other bootloader coming from? what does your config look like?

[Kreyren]

where is the other bootloader coming from? what does your config look like? -- @Lassulus (#317 (comment))

I was designing a config in https://github.com/Kreyren/NixWare/blob/ab90942493b1147fa7efdb060ac679b73e72db1d/devices/olimex/teres/1/generators/sd-aarch64.nix

[Kreyren]

@Lassulus have you seen the reply? Basically needs a new format that does:

boot.loader.systemd-boot.enable = true;

and adjusts sdImage.populateFirmwareCommands.* for arm64 on UEFI, mergable?

[Lassulus]

ah, yeah, should be straight forward I guess? not sure when I have time to do it though :D