From c11d43c59fe3c82ebb17df1e592cce3fff0816c1 Mon Sep 17 00:00:00 2001 From: aszlig Date: Tue, 24 Sep 2019 00:45:13 +0200 Subject: devhell/profiles: Fix VirtualBox kernel 5.3 build This uses a patch from Arch Linux to fix the build of the VirtualBox kernel modules for Linux 5.3. I didn't do any testing of this other than just to build the modules with the fix. The override here is to be reverted as soon as we got a fix for this in upstream nixpkgs. I didn't do this yet by myself, because I *really* should get back to work right now... Signed-off-by: aszlig Cc: @devhell --- modules/user/devhell/profiles/services.nix | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/modules/user/devhell/profiles/services.nix b/modules/user/devhell/profiles/services.nix index 927fa3e9..213e1fb0 100644 --- a/modules/user/devhell/profiles/services.nix +++ b/modules/user/devhell/profiles/services.nix @@ -14,6 +14,17 @@ in { host = { enable = true; enableHardening = false; + + # TODO: Upstream to nixpkgs and remove this afterwards. + package = pkgs.virtualbox.overrideAttrs (drv: { + patches = (drv.patches or []) ++ lib.singleton (pkgs.fetchpatch { + name = "virtualbox-linux-5.3.patch"; + url = "https://git.archlinux.org/svntogit/community.git/plain/" + + "virtualbox/trunk/015-linux-5-3.patch" + + "?id=bd69d43ad87dc49e703c8e86d09ab31f2bd0e021"; + sha256 = "0gsa0lrhpfn9yvf1hzbx0gxz9ls213v6gallzj6a2dj83r0llic0"; + }); + }); }; }; libvirtd = { -- cgit 1.4.1