mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-04-17 11:28:32 +00:00
![]() Turns out, iPXE doesn't use GNU-EFI but has its own tools for building EFI PE binaries with a GNU toolchain, and as for headers it has a vendored-in copy of EFI headers from TianoCore. |
||
---|---|---|
.. | ||
package.nix |