Uli Baum 845ae983f6 nixos/iso-image: fix 32bit UEFI boot ...

UEFI iso image for i686 didn't boot because the
default boot file was incorrectly named bootx32.efi.
The correct name is bootia32.efi.

2018-09-23 00:18:50 +02:00

..

cd-dvd

nixos/iso-image: fix 32bit UEFI boot

2018-09-23 00:18:50 +02:00

netboot

reewide: Purge all uses stdenv.system and top-level system

2018-08-30 17:20:32 -04:00

scan

[bot] nixos/*: remove unused arguments in lambdas

2018-07-20 20:56:59 +00:00

tools

nix: 2.1.1 -> 2.1.2

2018-09-20 00:17:45 +02:00

virtualbox-demo.nix

Revert "nixos: rename system.{stateVersion,defaultChannel} -> system.nixos.\1"

2018-07-28 00:12:55 +03:00