From e89fcfbf09d129a0b0c5f77d675cebb352f4c633 Mon Sep 17 00:00:00 2001
From: Daniel Barlow <dan@telent.net>
Date: Wed, 22 Feb 2023 18:31:46 +0000
Subject: [PATCH] collect "device" options into an attrset

---
 modules/base.nix | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/modules/base.nix b/modules/base.nix
index b2587d78..06996f5f 100644
--- a/modules/base.nix
+++ b/modules/base.nix
@@ -54,11 +54,13 @@ in {
         default = [];
       };
     };
-    device.defaultOutput = mkOption {
-      type = types.nonEmptyStr;
+    device = {
+      defaultOutput = mkOption {
+        type = types.nonEmptyStr;
+      };
+      loadAddress = mkOption { default = null; };
+      entryPoint = mkOption { };
     };
-    device.loadAddress = mkOption { default = null; };
-    device.entryPoint = mkOption { };
   };
   config = {
     defaultProfile.packages = with pkgs;