| CONFIG_BLACKFIN=y | |
| CONFIG_TARGET_BF533_STAMP=y | |
| CONFIG_BOOTDELAY=5 | |
| CONFIG_SILENT_CONSOLE=y | |
| CONFIG_CMD_SPI=y | |
| CONFIG_CMD_I2C=y | |
| CONFIG_CMD_GPIO=y | |
| # CONFIG_CMD_SETEXPR is not set | |
| CONFIG_CMD_DHCP=y | |
| CONFIG_CMD_PING=y | |
| CONFIG_CMD_SNTP=y | |
| CONFIG_CMD_DNS=y | |
| CONFIG_CMD_CACHE=y | |
| CONFIG_CC_OPTIMIZE_LIBS_FOR_SPEED=y | |
| # CONFIG_REGEX is not set | |
| CONFIG_LIB_RAND=y |