From f0024dcac5201f13144d44a5df78e0f51d2d03db Mon Sep 17 00:00:00 2001
From: Daniel Barlow <dan@telent.net>
Date: Mon, 26 Sep 2022 12:11:26 +0100
Subject: [PATCH] check type of kernel config attrsets

---
 modules/base.nix | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/modules/base.nix b/modules/base.nix
index 79b4af0f..99c68a6e 100644
--- a/modules/base.nix
+++ b/modules/base.nix
@@ -15,8 +15,15 @@ in {
     services = mkOption {
       type = types.attrsOf type_service;
     };
-    kernel = mkOption {
-      type = types.anything;
+    kernel = {
+      config = mkOption {
+        # mostly the values are y n or m, but sometimes
+        # other strings are also used
+        type = types.attrsOf types.nonEmptyStr;
+      };
+      checkedConfig = mkOption {
+        type = types.attrsOf types.nonEmptyStr;
+      };
     };
   };
 }