diff options
author | Vladimír Čunát <v@cunat.cz> | 2023-12-09 20:57:07 +0100 |
---|---|---|
committer | Vladimír Čunát <v@cunat.cz> | 2023-12-09 20:57:07 +0100 |
commit | ae8f3892341bb78588dd79ac14c6d76da3c63465 (patch) | |
tree | 2f6b9ca5a1ed630f90ce45ee72a127814dc9fab5 /pkgs/os-specific | |
parent | f05b8cf0f74d0b99175762f6da662aae130eaa64 (diff) | |
parent | 096639c548e2b0256309c92c53542e052eaa3761 (diff) | |
download | nixlib-ae8f3892341bb78588dd79ac14c6d76da3c63465.tar nixlib-ae8f3892341bb78588dd79ac14c6d76da3c63465.tar.gz nixlib-ae8f3892341bb78588dd79ac14c6d76da3c63465.tar.bz2 nixlib-ae8f3892341bb78588dd79ac14c6d76da3c63465.tar.lz nixlib-ae8f3892341bb78588dd79ac14c6d76da3c63465.tar.xz nixlib-ae8f3892341bb78588dd79ac14c6d76da3c63465.tar.zst nixlib-ae8f3892341bb78588dd79ac14c6d76da3c63465.zip |
Merge #273169: linux: drop XEN on 32-bit
Diffstat (limited to 'pkgs/os-specific')
-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; |