| CONFIG_ARM=y | |
| CONFIG_SKIP_LOWLEVEL_INIT=y | |
| CONFIG_SYS_L2_PL310=y | |
| CONFIG_ARCH_U8500=y | |
| CONFIG_SUPPORT_PASSING_ATAGS=y | |
| # CONFIG_SETUP_MEMORY_TAGS is not set | |
| CONFIG_INITRD_TAG=y | |
| CONFIG_TEXT_BASE=0x100000 | |
| CONFIG_SYS_MALLOC_LEN=0x0200000 | |
| CONFIG_SYS_MALLOC_F_LEN=0x400 | |
| CONFIG_NR_DRAM_BANKS=2 | |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y | |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x100000 | |
| CONFIG_DEFAULT_DEVICE_TREE="ste-ux500-samsung-stemmy" | |
| CONFIG_SYS_BOOTM_LEN=0x4000000 | |
| CONFIG_SYS_LOAD_ADDR=0x100000 | |
| # CONFIG_EFI_LOADER is not set | |
| CONFIG_OF_BOARD_SETUP=y | |
| CONFIG_USE_BOOTCOMMAND=y | |
| CONFIG_BOOTCOMMAND="run fastbootcmd" | |
| CONFIG_SYS_CBSIZE=256 | |
| CONFIG_SYS_PBSIZE=276 | |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y | |
| CONFIG_HUSH_PARSER=y | |
| CONFIG_CMD_CONFIG=y | |
| CONFIG_CMD_LICENSE=y | |
| CONFIG_CMD_GPIO=y | |
| CONFIG_CMD_MMC=y | |
| CONFIG_CMD_PART=y | |
| CONFIG_CMD_GETTIME=y | |
| CONFIG_EFI_PARTITION=y | |
| CONFIG_NO_NET=y | |
| CONFIG_USB_FUNCTION_FASTBOOT=y | |
| CONFIG_FASTBOOT_BUF_ADDR=0x18100000 | |
| CONFIG_FASTBOOT_FLASH=y | |
| CONFIG_FASTBOOT_FLASH_MMC_DEV=0 | |
| # CONFIG_MMC_HW_PARTITIONING is not set | |
| CONFIG_USB=y | |
| CONFIG_USB_MUSB_GADGET=y | |
| CONFIG_USB_GADGET=y | |
| CONFIG_USB_GADGET_VENDOR_NUM=0x04e8 | |
| CONFIG_USB_GADGET_PRODUCT_NUM=0x685d | |
| CONFIG_VIDEO=y | |
| CONFIG_SYS_WHITE_ON_BLACK=y | |
| CONFIG_VIDEO_MCDE_SIMPLE=y |