From 91a6dc6168494ca12c79e01c56090f97547adb60 Mon Sep 17 00:00:00 2001
From: Marco Maggesi <maggesi@math.unifi.it>
Date: Mon, 19 Sep 2011 13:20:09 +0000
Subject: [PATCH] Make VirtualBox Guest Additions use the configured kernel.

svn path=/nixos/trunk/; revision=29346
---
 modules/services/misc/virtualbox.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/modules/services/misc/virtualbox.nix b/modules/services/misc/virtualbox.nix
index e1384323453d..573666cebb11 100644
--- a/modules/services/misc/virtualbox.nix
+++ b/modules/services/misc/virtualbox.nix
@@ -6,6 +6,7 @@ with pkgs.lib;
 let
 
   cfg = config.services.virtualbox;
+  kernel = config.boot.kernelPackages;
 
 in
 
@@ -33,14 +34,14 @@ in
 
     environment.systemPackages = [ ];
 
-    boot.extraModulePackages = [ pkgs.linuxPackages.virtualboxGuestAdditions ];
+    boot.extraModulePackages = [ kernel.virtualboxGuestAdditions ];
 
     jobs.virtualbox =
       { description = "VirtualBox service";
 
         startOn = "started udev";
 
-        exec = "${pkgs.linuxPackages.virtualboxGuestAdditions}/sbin/VBoxService";
+        exec = "${kernel.virtualboxGuestAdditions}/sbin/VBoxService";
       };
 
   };