2 CONFIG_SKIP_LOWLEVEL_INIT=y
4 CONFIG_SUPPORT_PASSING_ATAGS=y
5 # CONFIG_SETUP_MEMORY_TAGS is not set
7 CONFIG_SYS_TEXT_BASE=0x100000
8 CONFIG_SYS_MALLOC_LEN=0x0200000
9 CONFIG_SYS_MALLOC_F_LEN=0x400
10 CONFIG_NR_DRAM_BANKS=2
11 CONFIG_DEFAULT_DEVICE_TREE="ste-ux500-samsung-stemmy"
12 CONFIG_SYS_LOAD_ADDR=0x100000
13 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
14 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x100000
15 CONFIG_OF_BOARD_SETUP=y
16 CONFIG_USE_BOOTCOMMAND=y
17 CONFIG_BOOTCOMMAND="run fastbootcmd"
18 CONFIG_SYS_CONSOLE_INFO_QUIET=y
29 CONFIG_EFI_PARTITION=y
30 # CONFIG_NET is not set
31 CONFIG_USB_FUNCTION_FASTBOOT=y
32 CONFIG_FASTBOOT_BUF_ADDR=0x18100000
33 CONFIG_FASTBOOT_FLASH=y
34 CONFIG_FASTBOOT_FLASH_MMC_DEV=0
35 # CONFIG_MMC_HW_PARTITIONING is not set
37 CONFIG_USB_MUSB_GADGET=y
39 CONFIG_USB_GADGET_VENDOR_NUM=0x04e8
40 CONFIG_USB_GADGET_PRODUCT_NUM=0x685d
42 CONFIG_SYS_WHITE_ON_BLACK=y
43 CONFIG_VIDEO_MCDE_SIMPLE=y
44 # CONFIG_EFI_LOADER is not set