From f31ab09b859887f8ca7e8ff441b77ae81601b5dc Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Thu, 9 Aug 2012 11:00:35 -0400
Subject: [PATCH] Set uniq type on boot.loader.kernelFile

---
 modules/system/activation/top-level.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/system/activation/top-level.nix b/modules/system/activation/top-level.nix
index 35b6d0bff0c9..118a5c6266e3 100644
--- a/modules/system/activation/top-level.nix
+++ b/modules/system/activation/top-level.nix
@@ -37,6 +37,7 @@ let
 
     system.boot.loader.kernelFile = mkOption {
       default = pkgs.stdenv.platform.kernelTarget;
+      type = types.uniq types.string;
       description = ''
         Name of the kernel file to be passed to the bootloader.
       '';