From de6968c1630f22590b104718fa49baf83b044df5 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Sat, 10 Mar 2012 14:34:40 +0000
Subject: [PATCH] * Virtualbox: use the right set of kernel packages.

svn path=/nixos/trunk/; revision=32971
---
 modules/programs/virtualbox.nix | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/modules/programs/virtualbox.nix b/modules/programs/virtualbox.nix
index 6d9f269b889..05209cb38e5 100644
--- a/modules/programs/virtualbox.nix
+++ b/modules/programs/virtualbox.nix
@@ -2,16 +2,18 @@
 
 with pkgs.lib;
 
+let virtualbox = config.boot.kernelPackages.virtualbox; in
+
 {
   boot.kernelModules = [ "vboxdrv" "vboxnetadp" "vboxnetflt" ];
-  boot.extraModulePackages = [ pkgs.linuxPackages.virtualbox ];
-  environment.systemPackages = [ pkgs.linuxPackages.virtualbox ];
+  boot.extraModulePackages = [ virtualbox ];
+  environment.systemPackages = [ virtualbox ];
 
   # ‘VBoxNetAdpCtl’ needs to be setuid root to allow users to create
   # host-only networks (https://www.virtualbox.org/ticket/4014).
   security.setuidOwners = singleton
     { program = "VBoxNetAdpCtl";
-      source = "${pkgs.linuxPackages.virtualbox}/virtualbox/VBoxNetAdpCtl";
+      source = "${virtualbox}/virtualbox/VBoxNetAdpCtl";
       owner = "root";
       group = "root";
       setuid = true;