2012-02-25 20:10:53 +00:00
|
|
|
# Module for VirtualBox guests.
|
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
2010-09-07 14:28:17 +01:00
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
with lib;
|
2010-09-07 14:28:17 +01:00
|
|
|
|
|
|
|
let
|
|
|
|
|
2015-08-13 11:17:32 +01:00
|
|
|
cfg = config.virtualisation.virtualbox.guest;
|
2011-09-19 14:20:09 +01:00
|
|
|
kernel = config.boot.kernelPackages;
|
2010-09-07 14:28:17 +01:00
|
|
|
|
|
|
|
in
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
###### interface
|
2011-09-14 19:20:50 +01:00
|
|
|
|
2015-08-13 11:17:32 +01:00
|
|
|
options.virtualisation.virtualbox.guest.enable = mkOption {
|
|
|
|
default = false;
|
|
|
|
description = "Whether to enable the VirtualBox service and other guest additions.";
|
2010-09-07 14:28:17 +01:00
|
|
|
};
|
2011-09-14 19:20:50 +01:00
|
|
|
|
2010-09-07 14:28:17 +01:00
|
|
|
###### implementation
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
2014-05-05 19:58:51 +01:00
|
|
|
assertions = [ {
|
|
|
|
assertion = pkgs.stdenv.isi686 || pkgs.stdenv.isx86_64;
|
|
|
|
message = "Virtualbox not currently supported on ${pkgs.stdenv.system}";
|
|
|
|
} ];
|
2010-09-07 14:28:17 +01:00
|
|
|
|
2012-02-25 20:10:53 +00:00
|
|
|
environment.systemPackages = [ kernel.virtualboxGuestAdditions ];
|
2011-08-09 20:53:01 +01:00
|
|
|
|
2011-09-19 14:20:09 +01:00
|
|
|
boot.extraModulePackages = [ kernel.virtualboxGuestAdditions ];
|
2011-09-14 19:20:50 +01:00
|
|
|
|
2015-08-19 23:29:20 +01:00
|
|
|
boot.supportedFilesystems = [ "vboxsf" ];
|
|
|
|
boot.initrd.supportedFilesystems = [ "vboxsf" ];
|
2014-02-05 17:38:03 +00:00
|
|
|
|
2013-08-23 10:33:24 +01:00
|
|
|
users.extraGroups.vboxsf.gid = config.ids.gids.vboxsf;
|
2012-12-31 21:00:02 +00:00
|
|
|
|
2013-10-09 12:30:57 +01:00
|
|
|
systemd.services.virtualbox =
|
2012-08-23 15:25:27 +01:00
|
|
|
{ description = "VirtualBox Guest Services";
|
2011-09-14 19:20:50 +01:00
|
|
|
|
2012-08-06 19:59:58 +01:00
|
|
|
wantedBy = [ "multi-user.target" ];
|
|
|
|
requires = [ "dev-vboxguest.device" ];
|
|
|
|
after = [ "dev-vboxguest.device" ];
|
2010-09-07 14:28:17 +01:00
|
|
|
|
2013-10-09 12:30:57 +01:00
|
|
|
unitConfig.ConditionVirtualization = "oracle";
|
|
|
|
|
2015-08-04 02:03:24 +01:00
|
|
|
serviceConfig.ExecStart = "@${kernel.virtualboxGuestAdditions}/bin/VBoxService VBoxService --foreground";
|
2010-09-07 14:28:17 +01:00
|
|
|
};
|
|
|
|
|
2016-07-19 12:55:44 +01:00
|
|
|
services.xserver.videoDrivers = mkOverride 50 [ "virtualbox" "modesetting" ];
|
2012-03-16 01:03:09 +00:00
|
|
|
|
|
|
|
services.xserver.config =
|
|
|
|
''
|
|
|
|
Section "InputDevice"
|
|
|
|
Identifier "VBoxMouse"
|
|
|
|
Driver "vboxmouse"
|
|
|
|
EndSection
|
|
|
|
'';
|
|
|
|
|
|
|
|
services.xserver.serverLayoutSection =
|
|
|
|
''
|
|
|
|
InputDevice "VBoxMouse"
|
|
|
|
'';
|
2012-08-06 19:59:58 +01:00
|
|
|
|
2012-03-16 01:29:51 +00:00
|
|
|
services.xserver.displayManager.sessionCommands =
|
|
|
|
''
|
2016-04-13 13:53:51 +01:00
|
|
|
PATH=${makeBinPath [ pkgs.gnugrep pkgs.which pkgs.xorg.xorgserver.out ]}:$PATH \
|
2012-03-16 01:29:51 +00:00
|
|
|
${kernel.virtualboxGuestAdditions}/bin/VBoxClient-all
|
|
|
|
'';
|
2012-03-23 11:52:06 +00:00
|
|
|
|
|
|
|
services.udev.extraRules =
|
|
|
|
''
|
|
|
|
# /dev/vboxuser is necessary for VBoxClient to work. Maybe we
|
|
|
|
# should restrict this to logged-in users.
|
|
|
|
KERNEL=="vboxuser", OWNER="root", GROUP="root", MODE="0666"
|
2012-08-06 19:59:58 +01:00
|
|
|
|
|
|
|
# Allow systemd dependencies on vboxguest.
|
2016-06-02 23:30:02 +01:00
|
|
|
SUBSYSTEM=="misc", KERNEL=="vboxguest", TAG+="systemd"
|
2012-03-23 11:52:06 +00:00
|
|
|
'';
|
2010-09-07 14:28:17 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|