Is cross-compilation Nixpkgs packages to UEFI application possible?

Dear system programming experts and cross-build enthusiasts, how much luck do we have if one wants to cross-compile libraries or application for UEFI (as a host platform)?

If such cross-compilation is possible, would it also be possible to add a `pkgsCross` entry for it?

1 Like

Are you already aware of

  • pkgsCross.x86_64-unknown-uefi
  • pkgsCross.aarch64-unknown-uefi?
2 Likes

I wasn’t. Thank you for telling me about them!