From 224e848296bb369fc9bcb88b344e29d74d8a6127 Mon Sep 17 00:00:00 2001
From: Sven Slootweg <jamsoftgamedev@gmail.com>
Date: Tue, 19 Jun 2018 14:17:08 +0200
Subject: [PATCH] Use OS proper in bootloader

---
 profiles/system/efi-boot.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/profiles/system/efi-boot.nix b/profiles/system/efi-boot.nix
index 2ce316d..28a11ec 100644
--- a/profiles/system/efi-boot.nix
+++ b/profiles/system/efi-boot.nix
@@ -13,6 +13,7 @@ packages: {config, ...}: {
                 device = "nodev";
                 version = 2;
                 efiSupport = true;
+		useOSProber = true;
             };
         };
     };