2017-12-23 20:20:36 -05:00
|
|
|
{ config, lib, pkgs, ... }:
|
2016-07-09 05:36:19 -04:00
|
|
|
|
|
|
|
{
|
2017-12-24 07:37:08 -05:00
|
|
|
imports = [ ../. ];
|
2016-07-09 05:36:19 -04:00
|
|
|
|
|
|
|
# Use the gummiboot efi boot loader. (From default generated configuration.nix)
|
2017-12-23 20:20:36 -05:00
|
|
|
boot.loader.systemd-boot.enable = lib.mkDefault true;
|
|
|
|
boot.loader.efi.canTouchEfiVariables = lib.mkDefault true;
|
2016-07-09 05:36:19 -04:00
|
|
|
|
2017-12-22 12:49:09 -05:00
|
|
|
services.xserver.videoDrivers = [ "intel" ];
|
2016-07-09 05:36:19 -04:00
|
|
|
}
|