CONFIG_CPU_V6K=y
CONFIG_CPU_V7=y
CONFIG_DEBUG_USER=y
+# CONFIG_DEBUG_LL_UART_NONE is not set
+# CONFIG_DEBUG_ICEDCC is not set
+CONFIG_DEBUG_REALVIEW_STD_PORT=y
+# CONFIG_DEBUG_REALVIEW_PB1176_PORT is not set
CONFIG_DMA_CACHE_RWFO=y
CONFIG_DNOTIFY=y
CONFIG_FB=y