X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=kconfig_hardened_check%2Fchecks.py;h=9052aaa4f1fa03a616d4360f3dec6c898acec3e2;hb=c6db991b4dc47b19d40640df9824fbbba22bc34d;hp=fc1f6dd58f834389ac6b17b7ad5bd282ebf252b7;hpb=18915d533a2430c48ca62a53e3ddc5028522d955;p=kconfig-hardened-check.git

diff --git a/kconfig_hardened_check/checks.py b/kconfig_hardened_check/checks.py
index fc1f6dd..9052aaa 100644
--- a/kconfig_hardened_check/checks.py
+++ b/kconfig_hardened_check/checks.py
@@ -589,6 +589,10 @@ no_kstrtobool_options = [
     'rodata', # See set_debug_rodata() in init/main.c
     'ssbd', # See parse_spectre_v4_param() in arch/arm64/kernel/proton-pack.c
     'slub_debug', # See setup_slub_debug() in mm/slub.c
+    'iommu', # See iommu_setup() in arch/x86/kernel/pci-dma.c
+    'vsyscall', # See vsyscall_setup() in arch/x86/entry/vsyscall/vsyscall_64.c
+    'vdso32', # See vdso32_setup() in arch/x86/entry/vdso/vdso32-setup.c
+    'vdso', # See vdso32_setup() in arch/x86/entry/vdso/vdso32-setup.c
     'tsx' # See tsx_init() in arch/x86/kernel/cpu/tsx.c
 ]