From 651a2e71d7f1dac99bc4094a25b776ed96989819 Mon Sep 17 00:00:00 2001
From: Marshall Bowers <elliott.codes@gmail.com>
Date: Sat, 11 Jan 2020 10:57:34 -0500
Subject: [PATCH] Configure GRUB bootloader for booting into Windows

---
 nixos/configuration.nix | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/nixos/configuration.nix b/nixos/configuration.nix
index 898cb86..50c5f8d 100644
--- a/nixos/configuration.nix
+++ b/nixos/configuration.nix
@@ -15,6 +15,13 @@
   # Use the systemd-boot EFI boot loader.
   boot.loader.systemd-boot.enable = true;
   boot.loader.efi.canTouchEfiVariables = true;
+  boot.loader.grub = {
+    enable = true;
+    # "nodev" means we generate a GRUB boot menu but don't install GRUB.
+    devices = [ "nodev" ];
+    efiSupport = true;
+    useOSProber = true;
+  };
 
   networking.hostName = "firelink"; # Define your hostname.
   # networking.wireless.enable = true;  # Enables wireless support via wpa_supplicant.