efi-boot-stub: List required kernel config

This commit is contained in:
Shea Levy 2012-08-08 23:02:46 -04:00
parent 21da462ad5
commit da787e3071

@ -113,6 +113,7 @@ let
platform = pkgs.stdenv.platform; platform = pkgs.stdenv.platform;
in in
{ {
assertions = [ { assertion = ! config.boot.kernelPackages.kernel ? features || config.boot.kernelPackages.kernel.features ? efiBootStub; message = "This kernel does not support the EFI boot stub"; } ];
require = [ require = [
options options
@ -120,11 +121,13 @@ in
# ../system/system-options.nix # ../system/system-options.nix
]; ];
system = mkIf (config.boot.loader.efiBootStub.enable && (assert system = {
(config.boot.kernelPackages.kernel.features ? efiBootStub &&
config.boot.kernelPackages.kernel.features.efiBootStub); true)) {
build.installBootLoader = efiBootStubBuilder; build.installBootLoader = efiBootStubBuilder;
boot.loader.id = "efiBootStub"; boot.loader.id = "efiBootStub";
boot.loader.kernelFile = platform.kernelTarget; boot.loader.kernelFile = platform.kernelTarget;
requiredKernelConfig = with config.lib.kernelConfig; [
(isYes "EFI_STUB")
];
}; };
} }