CONFIG_ARM=y
  CONFIG_ARCH_U8500=y
  CONFIG_SYS_TEXT_BASE=0x100000
  CONFIG_NR_DRAM_BANKS=1
  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_DEFAULT_DEVICE_TREE="ste-ux500-samsung-stemmy"
  # CONFIG_NET is not set
  # CONFIG_MMC_HW_PARTITIONING is not set
  # CONFIG_EFI_LOADER is not set