Eelco Dolstra 0d5ec076d2 Use default kernel for EFI-related stuff		2013-11-07 16:38:56 +01:00
..
cd-dvd	Fold efi booting into the default livecd	2013-11-01 11:29:36 -04:00
scan	Move all of NixOS to nixos/ in preparation of the repository merge	2013-10-10 13:28:20 +02:00
tools	Use default kernel for EFI-related stuff	2013-11-07 16:38:56 +01:00
virtualbox-demo.nix	Move all of NixOS to nixos/ in preparation of the repository merge	2013-10-10 13:28:20 +02:00