2024-02-29 14:53:34 +00:00
|
|
|
{ config, lib, ... }:
|
|
|
|
|
|
|
|
# Bootloader
|
|
|
|
let
|
|
|
|
cfg = config.host.boot;
|
|
|
|
in
|
|
|
|
with lib;
|
|
|
|
{
|
|
|
|
|
|
|
|
options = {
|
|
|
|
host.boot = {
|
|
|
|
enable = mkOption {
|
|
|
|
description = "Automatically configures the bootloader. Set to false to configure manually.";
|
|
|
|
type = types.bool;
|
|
|
|
default = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
secureboot.enable = mkOption {
|
|
|
|
description = "Enables Secureboot";
|
|
|
|
type = types.bool;
|
|
|
|
default = true;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable (mkMerge[
|
2024-03-02 17:58:30 +00:00
|
|
|
(mkIf cfg.secureboot.enable {
|
2024-02-29 14:53:34 +00:00
|
|
|
boot = {
|
|
|
|
# Enable Secure Boot
|
|
|
|
bootspec.enable = true;
|
|
|
|
|
|
|
|
# Disable systemd-boot. We lanzaboote now.
|
|
|
|
loader.systemd-boot.enable = false;
|
|
|
|
loader.efi.canTouchEfiVariables = true;
|
|
|
|
lanzaboote = {
|
|
|
|
enable = true;
|
|
|
|
pkiBundle = "/etc/secureboot";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
# Set up TPM. See https://nixos.wiki/wiki/TPM
|
|
|
|
# After installing and rebooting, set it up via https://wiki.archlinux.org/title/Systemd-cryptenroll#Trusted_Platform_Module
|
|
|
|
security.tpm2 = {
|
|
|
|
enable = true;
|
|
|
|
pkcs11.enable = true;
|
|
|
|
tctiEnvironment.enable = true;
|
|
|
|
};
|
|
|
|
})
|
|
|
|
|
|
|
|
# Plain boot
|
2024-03-02 17:58:30 +00:00
|
|
|
(mkIf (!cfg.secureboot.enable) {
|
2024-02-29 14:53:34 +00:00
|
|
|
boot = {
|
|
|
|
loader.systemd-boot.enable = true;
|
|
|
|
loader.efi.canTouchEfiVariables = true;
|
|
|
|
};
|
|
|
|
})
|
|
|
|
]);
|
|
|
|
}
|