From a764594e3ec570edfd69e4c4e0a13fab8e3dd3af Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
Date: Sun, 28 Jul 2024 17:14:38 +0200
Subject: [PATCH] Configure Windows on DerGeret

---
 profiles/DerGeret/config.nix | 29 +++++++++++++++++++----------
 1 file changed, 19 insertions(+), 10 deletions(-)

diff --git a/profiles/DerGeret/config.nix b/profiles/DerGeret/config.nix
index 196d76b0..fadd5476 100644
--- a/profiles/DerGeret/config.nix
+++ b/profiles/DerGeret/config.nix
@@ -4,17 +4,26 @@
   ];
 
   config =  {
-    valhalla.partition.os.partitions = {
-      # Keep Windows' boot partition
-      Boot.keepExisting = true;
+    valhalla = {
+      windows = {
+        dualboot = {
+          enable = true;
+          linuxPercentage = 70; # better safe than sorry
+        };
+      };
 
-      Windows = {
-        index = 6;
-        label = "OS";
-        format = "ntfs";
-        mountPoint = "/win";
-        mountOptions = ["force"];
-        keepExisting = true;
+      partition.os.partitions = {
+        # Keep Windows' boot partition
+        Boot.keepExisting = true;
+
+        Windows = {
+          index = 6;
+          label = "OS";
+          format = "ntfs";
+          mountPoint = "/win";
+          mountOptions = ["force"];
+          keepExisting = true;
+        };
       };
     };
   };