From ac71321fe19cc73d503f5e86627d74f5ffc498d5 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Fri, 8 Jul 2016 09:05:57 +0200
Subject: [PATCH] theba: switch back to 4.4 kernel for stability

---
 theba.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/theba.nix b/theba.nix
index 8d61613..b21d369 100644
--- a/theba.nix
+++ b/theba.nix
@@ -68,4 +68,6 @@
 
   virtualisation.virtualbox.host.enable = true;
 
+  boot.kernelPackages = pkgs.lib.mkOverride 10 pkgs.linuxPackages;
+
 }