···

       
741
       
741
       
 
       
            + "'boot.loader.grub.mirroredBoots' to make the system bootable.";

     

       
742
       
742
       
 
       
        }

     

       
743
       
743
       
 
       
        {

     

       
744
       
744
       
-
       
          assertion = cfg.efiSupport || all (c: c < 2) (mapAttrsToList (_: c: c) bootDeviceCounters);

     

       
744
       
744
       
+
       
          assertion = cfg.efiSupport || all (c: c < 2) (mapAttrsToList (n: c: if n == "nodev" then 0 else c) bootDeviceCounters);

     

       
745
       
745
       
 
       
          message = "You cannot have duplicated devices in mirroredBoots";

     

       
746
       
746
       
 
       
        }

     

       
747
       
747
       
 
       
        {