CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
CONFIG_INPUT_TOUCHSCREEN=y
CONFIG_INTR_REMAP=y
-CONFIG_IOMMU_API=y
CONFIG_IOMMU_HELPER=y
CONFIG_IPC_NS=y
CONFIG_IPMI_HANDLER=m
# CONFIG_DEFAULT_DEADLINE is not set
CONFIG_DEFAULT_IOSCHED="cfq"
CONFIG_INTEL_IDLE=y
+CONFIG_INTEL_TXT=y
# CONFIG_MEMORY_HOTPLUG is not set
CONFIG_NR_CPUS=64
# CONFIG_PREEMPT_NONE is not set
CONFIG_DEFAULT_DEADLINE=y
CONFIG_DEFAULT_IOSCHED="deadline"
CONFIG_INTEL_IDLE=y
+# CONFIG_INTEL_TXT is not set
CONFIG_MEMORY_HOTPLUG=y
CONFIG_NR_CPUS=256
CONFIG_PREEMPT_NONE=y
CONFIG_DEFAULT_DEADLINE=y
CONFIG_DEFAULT_IOSCHED="deadline"
# CONFIG_INTEL_IDLE is not set
+# CONFIG_INTEL_TXT is not set
CONFIG_MEMORY_HOTPLUG=y
CONFIG_NR_CPUS=64
CONFIG_PREEMPT_NONE=y
# CONFIG_DM9000 is not set
CONFIG_DM9102=m
# CONFIG_DMADEVICES_DEBUG is not set
-# CONFIG_DMAR is not set
+CONFIG_DMAR=y
+# CONFIG_DMAR_DEFAULT_ON is not set
+CONFIG_DMAR_FLOPPY_WA=y
# CONFIG_DMATEST is not set
# CONFIG_DMA_API_DEBUG is not set
CONFIG_DMA_ENGINE=y
CONFIG_HAVE_GENERIC_HARDIRQS=y
CONFIG_HAVE_HW_BREAKPOINT=y
CONFIG_HAVE_IDE=y
+CONFIG_HAVE_INTEL_TXT=y
CONFIG_HAVE_IOREMAP_PROT=y
CONFIG_HAVE_IRQ_WORK=y
CONFIG_HAVE_KERNEL_BZIP2=y
CONFIG_INTEL_IPS=m
CONFIG_INTEL_MENLOW=m
CONFIG_INTEL_MID_DMAC=m
+CONFIG_IOMMU_API=y
# CONFIG_IOMMU_DEBUG is not set
# CONFIG_IOMMU_STRESS is not set
CONFIG_IOSCHED_CFQ=y
CONFIG_IIO=m
CONFIG_ILLEGAL_POINTER_VALUE=0
CONFIG_INPUT_TOUCHSCREEN=y
+# CONFIG_INTEL_TXT is not set
# CONFIG_INTR_REMAP is not set
-# CONFIG_IOMMU_API is not set
CONFIG_IPC_NS=y
CONFIG_IPMI_HANDLER=m
CONFIG_IPV6_MULTIPLE_TABLES=y
CONFIG_MTD_SST25L=m
CONFIG_MUTEX_SPIN_ON_OWNER=y
CONFIG_NATIONAL_PHY=y
-# CONFIG_NEED_DMA_MAP_STATE is not set
+CONFIG_NEED_DMA_MAP_STATE=y
CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
CONFIG_NETFILTER_XT_MATCH_IPRANGE=m
CONFIG_NETFILTER_XT_MATCH_OWNER=m