2023-12-10 15:56:40 +00:00
|
|
|
{pkgs, ...}: {
|
2023-11-04 10:14:42 +00:00
|
|
|
environment.systemPackages = with pkgs; [sbctl];
|
2023-10-15 00:51:56 +00:00
|
|
|
boot.loader.systemd-boot.enable = false;
|
2023-09-27 09:05:27 +00:00
|
|
|
boot.lanzaboote = {
|
|
|
|
|
enable = true;
|
|
|
|
|
pkiBundle = "/etc/secureboot";
|
|
|
|
|
};
|
2023-11-04 10:14:42 +00:00
|
|
|
}
|
