1CONFIG_ARM=y
2CONFIG_ARCH_U8500=y
3CONFIG_SYS_TEXT_BASE=0x100000
4CONFIG_NR_DRAM_BANKS=1
5CONFIG_DEFAULT_DEVICE_TREE="ste-ux500-samsung-stemmy"
6CONFIG_SYS_CONSOLE_INFO_QUIET=y
7CONFIG_HUSH_PARSER=y
8CONFIG_CMD_CONFIG=y
9CONFIG_CMD_LICENSE=y
10CONFIG_CMD_DM=y
11CONFIG_CMD_GPIO=y
12CONFIG_CMD_MMC=y
13CONFIG_CMD_PART=y
14CONFIG_CMD_GETTIME=y
15CONFIG_EFI_PARTITION=y
16# CONFIG_NET is not set
17# CONFIG_MMC_HW_PARTITIONING is not set
18# CONFIG_EFI_LOADER is not set
19