···

       
71
       
71
       
 
       
      PM_WAKELOCKS                     = yes;

     

       
72
       
72
       
 
       
      POWERCAP                         = yes;

     

       
73
       
73
       
 
       
      # ACPI Firmware Performance Data Table Support

     

       
74
       
74
       
-
       
      ACPI_FPDT                        = whenAtLeast "5.12" yes;

     

       
74
       
74
       
+
       
      ACPI_FPDT                        = whenAtLeast "5.12" (option yes);

     

       
75
       
75
       
 
       
      # ACPI Heterogeneous Memory Attribute Table Support

     

       
76
       
76
       
-
       
      ACPI_HMAT                        = whenAtLeast "5.2" yes;

     

       
76
       
76
       
+
       
      ACPI_HMAT                        = whenAtLeast "5.2" (option yes);

     

       
77
       
77
       
 
       
      # ACPI Platform Error Interface

     

       
78
       
78
       
-
       
      ACPI_APEI                        = yes;

     

       
78
       
78
       
+
       
      ACPI_APEI                        = (option yes);

     

       
79
       
79
       
 
       
      # APEI Generic Hardware Error Source

     

       
80
       
80
       
-
       
      ACPI_APEI_GHES                   = yes;

     

       
80
       
80
       
+
       
      ACPI_APEI_GHES                   = (option yes);

     

       
81
       
81
       
 
       
    } // optionalAttrs (stdenv.hostPlatform.isx86) {

     

       
82
       
82
       
 
       
      INTEL_IDLE                       = yes;

     

       
83
       
83
       
 
       
      INTEL_RAPL                       = whenAtLeast "5.3" module;