mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-11-24 17:43:19 +01:00
Looks like GRUB has issues loading EFI binaries from (cd0), which is what would be used in e.g. qemu with OVMF with `-cdrom`. Apparently also what is used with AArch64 + U-Boot USB. |
||
|---|---|---|
| .. | ||
| cd-dvd | ||
| netboot | ||
| scan | ||
| sd-card | ||
| tools | ||
| virtualbox-demo.nix | ||