Samuel Dionne-Riel cb5c4fcd3c iso-image: Hide rEFInd from menu in known non-working situations ... 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.		2021-05-01 19:53:14 -04:00
..
cd-dvd	iso-image: Hide rEFInd from menu in known non-working situations	2021-05-01 19:53:14 -04:00
netboot	lib: Clean up how linux and gcc config is specified	2021-01-23 10:01:28 -05:00
scan
sd-card	sd-image: Add option to control sd image expansion on boot.	2021-04-30 22:12:07 -04:00
tools	nixos-install: fix flake command	2021-04-24 11:49:59 +02:00
virtualbox-demo.nix	ova: remove stateVersion	2019-03-09 14:25:05 -05:00