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