I don't think there's any reason to have a seperate kernel variant because of this, with all the maintenance burden that imposes. Debian and Fedora both enable all these options on their normal kernels. Alias the Linux Xen attributes, so this change should be seemless for people who were using the Xen kernels up to now. All the Xen options are marked as optional anyway, so it should be fine to try to enable them on non-x86 platforms as well. Fixes: https://github.com/NixOS/nixpkgs/issues/115182launchpad/nixpkgs/master
parent
73942e2175
commit
5f24024de6
Loading…
Reference in new issue