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