Use DTBLoader

[powpingdone]

https://github.com/TravMurav/dtbloader

dtbloader is an EFI driver that finds and installs DeviceTree into the UEFI configuration table

Since most existing Windows-on-Arm devices focus on Windows, they use ACPI to boot. In many cases though this ACPI is hard or impossible to use with Linux so instead DT should be used. dtbloader attemtps to simplify running Linux-based or other OS that use DT by providing:

• Device detection that uses DMI to pick which DTB should be used.
• Device-specific DT fixups to allow tailoring generic dtb to a given device (i.e. set hw variants, MAC...)
• DT Fixup protocol to allow bootloaders like sd-boot to load their own dtb while still applying the fixups.

[kuruczgy]

If this is something we develop, we would probably want to upstream it to nixpkgs as well.

I think the best way to go about this would be to develop it as a draft nixpkgs PR (that we can include as a patch here in the meantime), and possibly get some early feedback/help on it. (E.g. bring the topic up in https://matrix.to/#/#nixos-on-arm:nixos.org )