X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=kconfig-hardened-check.py;h=6056f6221b9a9d37f7c3a373788d98bd67a2e2db;hb=0e4ee10bbfe1158a30eb88095fbb58fae39ce23d;hp=6963554eaeaa232ffbd091c63bde69eaa38ac733;hpb=b06c8cd92a94b374ba56a031af6f8a3cc5faefa9;p=kconfig-hardened-check.git

diff --git a/kconfig-hardened-check.py b/kconfig-hardened-check.py
index 6963554..6056f62 100755
--- a/kconfig-hardened-check.py
+++ b/kconfig-hardened-check.py
@@ -331,6 +331,9 @@ def construct_checklist(checklist, arch):
                              iommu_support_is_set))
         checklist.append(AND(OptCheck('INTEL_IOMMU_DEFAULT_ON',            'y', 'clipos', 'self_protection'), \
                              iommu_support_is_set))
+    if arch == 'X86_32':
+        checklist.append(AND(OptCheck('INTEL_IOMMU',                       'y', 'clipos', 'self_protection'), \
+                             iommu_support_is_set))
 
     checklist.append(OptCheck('SLUB_DEBUG_ON',                      'y', 'my', 'self_protection'))
     checklist.append(OptCheck('RESET_ATTACK_MITIGATION',            'y', 'my', 'self_protection')) # needs userspace support (systemd)