3 CONFIG_DEFAULT_DEVICE_TREE="crownbay"
4 CONFIG_TARGET_CROWNBAY=y
7 CONFIG_GENERATE_PIRQ_TABLE=y
9 # CONFIG_CMD_IMLS is not set
10 # CONFIG_CMD_FLASH is not set
11 # CONFIG_CMD_SETEXPR is not set
12 # CONFIG_CMD_NFS is not set
14 CONFIG_BOOTSTAGE_REPORT=y
15 CONFIG_CMD_BOOTSTAGE=y
19 CONFIG_USE_PRIVATE_LIBGCC=y
20 CONFIG_SYS_VSNPRINTF=y
21 CONFIG_GENERATE_MP_TABLE=y