# CONFIG_ARM_THUMB is not set
# CONFIG_ARPD is not set
CONFIG_ATA=m
-# CONFIG_ATMEL_PWM is not set
CONFIG_AUTO_ZRELADDR=y
-CONFIG_BCMA_POSSIBLE=y
CONFIG_BLK_DEV_IDECS=m
# CONFIG_BLK_DEV_IDEDMA is not set
# CONFIG_BLK_DEV_INITRD is not set
CONFIG_DEBUG_BUGVERBOSE=y
# CONFIG_DEBUG_LL_UART_NONE is not set
# CONFIG_DEBUG_USER is not set
-# CONFIG_DW_WATCHDOG is not set
CONFIG_ENABLE_MUST_CHECK=y
# CONFIG_EPOLL is not set
CONFIG_FRAME_POINTER=y
CONFIG_VECTORS_BASE=0xffff0000
# CONFIG_VLAN_8021Q is not set
CONFIG_XSCALE_PMU=y
-CONFIG_XZ_DEC=y
CONFIG_ZBOOT_ROM_BSS=0x0
CONFIG_ZBOOT_ROM_TEXT=0x0
CONFIG_ZONE_DMA_FLAG=0