From 581a8f30b5952ae8de0587589034bc4a338d10f2 Mon Sep 17 00:00:00 2001
From: devhell <devhell@mailfresser.de>
Date: Sat, 5 Jan 2019 14:19:18 +0000
Subject: profiles/base: Switch to kernel 4.19

The currently available VBox version (5.2.22) in nixpkgs does not build
with kernel 4.20, and Vbox 6 is still WIP, so switching to kernel 4.19
for now should hopefully result in VBox being available on my systems.
---
 modules/user/devhell/profiles/base.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'modules/user')

diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix
index 28087744..11756231 100644
--- a/modules/user/devhell/profiles/base.nix
+++ b/modules/user/devhell/profiles/base.nix
@@ -10,7 +10,7 @@ in {
 
   config = lib.mkIf cfg.enable {
     boot = {
-      kernelPackages = pkgs.linuxPackages_latest;
+      kernelPackages = pkgs.linuxPackages_4_19;
       cleanTmpDir = true;
     };
 
-- 
cgit 1.4.1