bootloader choice

2026-07-05 23:27:14 -05:00
parent 6fced6d0f3
commit 3c5133f721
2 changed files with 68 additions and 0 deletions
@@ -11,6 +11,54 @@
      description = "The kernel of the machine";
    };

+    bootloader = {
+      type = lib.mkOption {
+        type = lib.types.enum [
+          "grub"
+          "systemd"
+        ];
+        default = "grub";
+        description = "Which bootloader to use (grub or systemd-boot)";
+      };
+
+      grub = lib.mkOption {
+        type = lib.types.submodule {
+          options = {
+            enable = lib.mkOption {
+              type = lib.types.bool;
+              default = false;
+            };
+
+            device = lib.mkOption {
+              type = lib.types.str;
+              default = "nodev";
+              description = "Device to install GRUB on";
+            };
+          };
+        };
+        default = { };
+        description = "GRUB configuration block";
+      };
+
+      systemd = lib.mkOption {
+        type = lib.types.submodule {
+          options = {
+            enable = lib.mkOption {
+              type = lib.types.bool;
+              default = false;
+            };
+
+            efiSupport = lib.mkOption {
+              type = lib.types.bool;
+              default = true;
+            };
+          };
+        };
+        default = { };
+        description = "systemd-boot configuration block";
+      };
+    };
+
    user = {
      name = lib.mkOption {
        type = lib.types.str;