[Boot/Packages/Kernel] Add kvdo kernel module

This commit is contained in:
Antoine Viallon 2022-05-03 23:46:56 +02:00
parent 6b5f69bece
commit c25820247c
Signed by: aviallon
GPG key ID: 186FC35EDEB25716
3 changed files with 59 additions and 0 deletions

View file

@ -60,6 +60,7 @@ in
x32abi = {
enable = mkEnableOption "X32 kernel ABI";
};
kvdo.enable = mkEnableOption "dm-kvdo kernel module";
efi = mkOption rec {
description = "Use EFI bootloader";
default = builtins.pathExists "/sys/firmware/efi";
@ -114,6 +115,9 @@ in
kernelPatches = concatLists [
(optional cfg.x32abi.enable customKernelPatches.enableX32ABI)
];
extraModulePackages = concatLists [
(optional cfg.kvdo.enable pkgs.kvdo)
];
loader.grub.enable = cfg.useGrub || (!cfg.efi);
loader.grub = {