3 CONFIG_SYS_TEXT_BASE=0x100000
5 CONFIG_DEFAULT_DEVICE_TREE="ste-ux500-samsung-stemmy"
6 CONFIG_SYS_LOAD_ADDR=0x100000
7 CONFIG_SYS_CONSOLE_INFO_QUIET=y
16 CONFIG_EFI_PARTITION=y
17 # CONFIG_NET is not set
18 # CONFIG_MMC_HW_PARTITIONING is not set
19 # CONFIG_EFI_LOADER is not set