-#-
-#- *** FILE: drivers/iommu/Kconfig ***
-#-
-AMD_IOMMU x86_64=y
-AMD_IOMMU_STATS x86_64=n
-
-#-
-#- *** FILE: init/Kconfig ***
-#-
-#- file kernel/irq/Kconfig goes here
-#- file kernel/time/Kconfig goes here
-IRQ_TIME_ACCOUNTING x86=n
-#- file usr/Kconfig goes here
-#- file arch/Kconfig goes here
-#- file block/Kconfig goes here
-#- file kernel/Kconfig.locks goes here
-
-#-
-#- *** FILE: kernel/irq/Kconfig ***
-#-
-SPARSE_IRQ i386=y x86_64=y
-
-#-
-#- *** FILE: lib/Kconfig.debug ***
-#-
-DEBUG_STACK_USAGE x86=n
-DEBUG_PER_CPU_MAPS x86=n
-#- file mm/Kconfig.debug goes here
-#- file kernel/trace/Kconfig goes here
-#- file samples/Kconfig goes here
-#- file lib/Kconfig.kgdb goes here
-#- file lib/Kconfig.kmemcheck goes here
-