2012-03-16 12:22:05 +01:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
2012-03-16 12:25:09 +01:00
|
|
|
require = [ ./installation-cd-minimal.nix ];
|
2012-03-16 12:22:05 +01:00
|
|
|
|
|
|
|
|
boot.kernelPackages = pkgs.linuxPackages_3_3;
|
|
|
|
|
boot.vesa = false;
|
|
|
|
|
|
|
|
|
|
# What follows should probably move into base once the base kernel has the
|
|
|
|
|
# efi boot stub
|
|
|
|
|
|
|
|
|
|
# Get a console as soon as the initrd loads fbcon on EFI boot
|
|
|
|
|
boot.initrd.kernelModules = [ "fbcon" ];
|
|
|
|
|
|
|
|
|
|
# Enable reading EFI variables via sysfs
|
|
|
|
|
boot.kernelModules = [ "efivars" ];
|
|
|
|
|
|
|
|
|
|
# efi-related tools
|
|
|
|
|
environment.systemPackages = [ pkgs.efibootmgr ];
|
|
|
|
|
|
|
|
|
|
isoImage.makeEfiBootable = true;
|
|
|
|
|
}
|
