diff options
author | Vladimír Čunát <v@cunat.cz> | 2023-12-09 17:53:05 +0100 |
---|---|---|
committer | Vladimír Čunát <v@cunat.cz> | 2023-12-09 17:53:05 +0100 |
commit | 096639c548e2b0256309c92c53542e052eaa3761 (patch) | |
tree | 525c6421bb34621397e22ac76b300fb31d292379 /pkgs/os-specific/linux | |
parent | a7622619d63f2f9b48e819909ae15ee243951d82 (diff) | |
download | nixlib-096639c548e2b0256309c92c53542e052eaa3761.tar nixlib-096639c548e2b0256309c92c53542e052eaa3761.tar.gz nixlib-096639c548e2b0256309c92c53542e052eaa3761.tar.bz2 nixlib-096639c548e2b0256309c92c53542e052eaa3761.tar.lz nixlib-096639c548e2b0256309c92c53542e052eaa3761.tar.xz nixlib-096639c548e2b0256309c92c53542e052eaa3761.tar.zst nixlib-096639c548e2b0256309c92c53542e052eaa3761.zip |
linux: drop XEN on 32-bit
It doesn't build anymore and I doubt anyone wants to maintain it: https://hydra.nixos.org/build/243596962/nixlog/1
Diffstat (limited to 'pkgs/os-specific/linux')
-rw-r--r-- | pkgs/os-specific/linux/kernel/common-config.nix | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix index 4b38ffc5069c..746991c00b7e 100644 --- a/pkgs/os-specific/linux/kernel/common-config.nix +++ b/pkgs/os-specific/linux/kernel/common-config.nix @@ -678,23 +678,23 @@ let VBOXGUEST = option no; DRM_VBOXVIDEO = option no; - XEN = option yes; - XEN_DOM0 = option yes; - PCI_XEN = option yes; - HVC_XEN = option yes; - HVC_XEN_FRONTEND = option yes; - XEN_SYS_HYPERVISOR = option yes; - SWIOTLB_XEN = option yes; - XEN_BACKEND = option yes; - XEN_BALLOON = option yes; - XEN_BALLOON_MEMORY_HOTPLUG = option yes; - XEN_EFI = option yes; - XEN_HAVE_PVMMU = option yes; - XEN_MCE_LOG = option yes; - XEN_PVH = option yes; - XEN_PVHVM = option yes; - XEN_SAVE_RESTORE = option yes; - XEN_SELFBALLOONING = whenOlder "5.3" yes; + XEN = mkIf stdenv.is64bit (option yes); + XEN_DOM0 = mkIf stdenv.is64bit (option yes); + PCI_XEN = mkIf stdenv.is64bit (option yes); + HVC_XEN = mkIf stdenv.is64bit (option yes); + HVC_XEN_FRONTEND = mkIf stdenv.is64bit (option yes); + XEN_SYS_HYPERVISOR = mkIf stdenv.is64bit (option yes); + SWIOTLB_XEN = mkIf stdenv.is64bit (option yes); + XEN_BACKEND = mkIf stdenv.is64bit (option yes); + XEN_BALLOON = mkIf stdenv.is64bit (option yes); + XEN_BALLOON_MEMORY_HOTPLUG = mkIf stdenv.is64bit (option yes); + XEN_EFI = mkIf stdenv.is64bit (option yes); + XEN_HAVE_PVMMU = mkIf stdenv.is64bit (option yes); + XEN_MCE_LOG = mkIf stdenv.is64bit (option yes); + XEN_PVH = mkIf stdenv.is64bit (option yes); + XEN_PVHVM = mkIf stdenv.is64bit (option yes); + XEN_SAVE_RESTORE = mkIf stdenv.is64bit (option yes); + XEN_SELFBALLOONING = mkIf stdenv.is64bit (whenOlder "5.3" yes); # Enable device detection on virtio-mmio hypervisors VIRTIO_MMIO_CMDLINE_DEVICES = yes; |