Merge pull request #53511 from joachifm/kernel-32bit-emu-feature-flag

linux: flag to indicate 32bit emulation support
This commit is contained in:
Joachim F 2019-01-25 14:13:45 +00:00 committed by GitHub
commit f6414428ed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 10 additions and 4 deletions

View file

@ -124,10 +124,14 @@ in
config = mkIf cfg.enable {
assertions = lib.singleton {
assertion = cfg.driSupport32Bit -> pkgs.stdenv.isx86_64;
message = "Option driSupport32Bit only makes sense on a 64-bit system.";
};
assertions = [
{ assertion = cfg.driSupport32Bit -> pkgs.stdenv.isx86_64;
message = "Option driSupport32Bit only makes sense on a 64-bit system.";
}
{ assertion = cfg.driSupport32Bit -> (config.boot.kernelPackages.kernel.features.ia32Emulation or false);
message = "Option driSupport32Bit requires a kernel that supports 32bit emulation";
}
];
systemd.tmpfiles.rules = [
"L+ /run/opengl-driver - - - - ${package}"

View file

@ -65,6 +65,7 @@ let
netfilterRPFilter = true;
grsecurity = false;
xen_dom0 = false;
ia32Emulation = true;
} // features) kernelPatches;
intermediateNixConfig = import ./common-config.nix {

View file

@ -14870,6 +14870,7 @@ in
# Hardened linux
hardenedLinuxPackagesFor = kernel: linuxPackagesFor (kernel.override {
features.ia32Emulation = false;
extraConfig = import ../os-specific/linux/kernel/hardened-config.nix {
inherit stdenv;
inherit (kernel) version;