2017-12-24 02:20:36 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
2016-07-09 11:36:19 +02:00
|
|
|
|
|
|
|
|
{
|
2017-12-25 00:21:05 +01:00
|
|
|
imports = [
|
|
|
|
|
../../../common/cpu/intel
|
|
|
|
|
../.
|
|
|
|
|
];
|
2016-07-09 11:36:19 +02:00
|
|
|
|
2017-12-25 00:21:05 +01:00
|
|
|
# TODO: boot loader
|
2017-12-24 02:20:36 +01:00
|
|
|
boot.loader.systemd-boot.enable = lib.mkDefault true;
|
|
|
|
|
boot.loader.efi.canTouchEfiVariables = lib.mkDefault true;
|
2016-07-09 11:36:19 +02:00
|
|
|
}
|
