| CONFIG_ARM=y | |
| CONFIG_ARCH_U8500=y | |
| CONFIG_SYS_TEXT_BASE=0x100000 | |
| CONFIG_NR_DRAM_BANKS=1 | |
| CONFIG_DEFAULT_DEVICE_TREE="ste-ux500-samsung-stemmy" | |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y | |
| CONFIG_HUSH_PARSER=y | |
| CONFIG_CMD_CONFIG=y | |
| CONFIG_CMD_LICENSE=y | |
| CONFIG_CMD_DM=y | |
| CONFIG_CMD_GPIO=y | |
| CONFIG_CMD_MMC=y | |
| CONFIG_CMD_PART=y | |
| CONFIG_CMD_GETTIME=y | |
| CONFIG_EFI_PARTITION=y | |
| # CONFIG_NET is not set | |
| # CONFIG_MMC_HW_PARTITIONING is not set | |
| # CONFIG_EFI_LOADER is not set |