2017-12-24 13:13:25 +01:00
|
|
|
{ lib, pkgs, ... }:
|
2016-10-20 20:53:52 +02:00
|
|
|
|
|
|
|
{
|
2017-12-24 13:17:37 +01:00
|
|
|
imports = [ ../../. ];
|
2016-10-20 20:53:52 +02:00
|
|
|
|
|
|
|
boot.loader.systemd-boot.enable = true;
|
|
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
|
|
|
|
|
|
|
hardware.opengl.driSupport32Bit = true;
|
|
|
|
|
2017-12-24 13:13:25 +01:00
|
|
|
services.xserver = {
|
|
|
|
libinput.enable = lib.mkDefault true;
|
2017-12-24 15:19:38 +01:00
|
|
|
|
2017-12-24 13:13:25 +01:00
|
|
|
# TODO: we should not enable unfree drivers
|
2017-12-24 15:19:38 +01:00
|
|
|
# when there is an alternative (i.e. nouveau)
|
2017-12-24 13:13:25 +01:00
|
|
|
videoDrivers = [ "nvidia" ];
|
|
|
|
};
|
2016-10-20 20:53:52 +02:00
|
|
|
}
|