# Watchdog Device Drivers
#
# CONFIG_WATCHDOG is not set
-# CONFIG_DRM is not set
#
# TPM devices
# CONFIG_WORKQUEUE_TRACER is not set
# CONFIG_FTRACE_STARTUP_TEST is not set
# CONFIG_DYNAMIC_DEBUG is not set
-# CONFIG_DMA_API_DEBUG is not set
+CONFIG_DMA_API_DEBUG=y
# CONFIG_SECURITY_TOMOYO is not set
# CONFIG_IMA is not set
CONFIG_CRYPTO_ZLIB=y
# CONFIG_CNIC is not set
# CONFIG_MEDIA_SUPPORT is not set
# CONFIG_SMARTJOYPLUS_FF is not set
-# CONFIG_FTRACE is not set
+CONFIG_FTRACE=y
# CONFIG_IOMMU_STRESS is not set
CONFIG_LSM_MMAP_MIN_ADDR=65534
CONFIG_PARAVIRT_GUEST=y
CONFIG_XEN=y
+CONFIG_XEN_DOM0=y
CONFIG_XEN_MAX_DOMAIN_MEMORY=8
CONFIG_XEN_DEBUG_FS=y
CONFIG_VMI=y
CONFIG_XENFS=m
CONFIG_XEN_COMPAT_XENFS=y
CONFIG_XEN_SYS_HYPERVISOR=y
+
+CONFIG_STAGING=y
+CONFIG_DRM_NOUVEAU=m
+CONFIG_DRM_RADEON=m
+# CONFIG_STAGING_EXCLUDE_BUILD is not set
+# CONFIG_DRM_NOUVEAU_BACKLIGHT is not set
+CONFIG_ACPI_DEBUG=y
+CONFIG_PM_VERBOSE=y
+CONFIG_IOMMU_DEBUG=y
+
+
+# CONFIG_WIRELESS is not set
+# CONFIG_WLAN is not set
+# CONFIG_HAMRADIO is not set