colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge #273169: linux: drop XEN on 32-bit

Browse Source
This commit is contained in:
Vladimír Čunát 2023-12-09 20:57:07 +01:00
commit ae8f389234
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA
1 changed files with 17 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
pkgs/os-specific/linux/kernel/common-config.nix
View File

@ -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;