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
tools	Use default kernel for EFI-related stuff	2013-11-07 16:38:56 +01:00
virtualbox-demo.nix