2017-12-24 07:13:25 -05:00
|
|
|
{ lib, pkgs, ... }:
|
2016-10-20 14:53:52 -04:00
|
|
|
|
|
|
|
{
|
2017-12-24 07:13:25 -05:00
|
|
|
imports = [ ../. ];
|
2016-10-20 14:53:52 -04:00
|
|
|
|
|
|
|
boot.loader.systemd-boot.enable = true;
|
|
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
|
|
|
|
|
|
|
hardware.opengl.driSupport32Bit = true;
|
|
|
|
|
2017-12-24 07:13:25 -05:00
|
|
|
services.xserver = {
|
|
|
|
libinput.enable = lib.mkDefault true;
|
|
|
|
# TODO: we should not enable unfree drivers
|
|
|
|
videoDrivers = [ "nvidia" ];
|
|
|
|
};
|
2016-10-20 14:53:52 -04:00
|
|
|
}
|