blob: 28a312987373999581f37157324aee005d650177 [file] [log] [blame]
Stephan Gerhold3f1d3e42020-01-04 18:45:19 +01001CONFIG_ARM=y
Tom Rinie1e85442021-08-27 21:18:30 -04002CONFIG_SKIP_LOWLEVEL_INIT=y
Stephan Gerhold3f1d3e42020-01-04 18:45:19 +01003CONFIG_ARCH_U8500=y
Tom Rini4cc38852021-08-30 09:16:30 -04004CONFIG_SUPPORT_PASSING_ATAGS=y
5# CONFIG_SETUP_MEMORY_TAGS is not set
6CONFIG_INITRD_TAG=y
Stephan Gerhold3f1d3e42020-01-04 18:45:19 +01007CONFIG_SYS_TEXT_BASE=0x100000
Tom Rinie065fb12021-08-28 21:34:49 -04008CONFIG_SYS_MALLOC_LEN=0x0200000
Tom Rini324cf142022-04-07 12:33:23 -04009CONFIG_SYS_MALLOC_F_LEN=0x400
Tom Rinie25a03a2021-11-01 12:19:22 +000010CONFIG_NR_DRAM_BANKS=2
Tom Rini84610272020-07-28 08:46:52 -040011CONFIG_DEFAULT_DEVICE_TREE="ste-ux500-samsung-stemmy"
Tom Rini0997ee02021-08-23 10:25:31 -040012CONFIG_SYS_LOAD_ADDR=0x100000
Tom Rini4ddbade2022-05-25 12:16:03 -040013CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
14CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x100000
Tom Rini8f84e4e2022-03-28 14:01:11 +000015CONFIG_OF_BOARD_SETUP=y
Stephan Gerhold8e4386c2021-08-07 15:07:22 +020016CONFIG_USE_BOOTCOMMAND=y
17CONFIG_BOOTCOMMAND="run fastbootcmd"
Stephan Gerhold3f1d3e42020-01-04 18:45:19 +010018CONFIG_SYS_CONSOLE_INFO_QUIET=y
19CONFIG_HUSH_PARSER=y
Tom Riniae17fa32022-05-11 18:01:06 -040020CONFIG_SYS_CBSIZE=256
Tom Rinicbfa1392022-05-11 17:38:09 -040021CONFIG_SYS_PBSIZE=276
Stephan Gerhold3f1d3e42020-01-04 18:45:19 +010022CONFIG_CMD_CONFIG=y
23CONFIG_CMD_LICENSE=y
24CONFIG_CMD_DM=y
25CONFIG_CMD_GPIO=y
26CONFIG_CMD_MMC=y
27CONFIG_CMD_PART=y
28CONFIG_CMD_GETTIME=y
29CONFIG_EFI_PARTITION=y
Stephan Gerhold3f1d3e42020-01-04 18:45:19 +010030# CONFIG_NET is not set
Stephan Gerhold8e4386c2021-08-07 15:07:22 +020031CONFIG_USB_FUNCTION_FASTBOOT=y
32CONFIG_FASTBOOT_BUF_ADDR=0x18100000
33CONFIG_FASTBOOT_FLASH=y
34CONFIG_FASTBOOT_FLASH_MMC_DEV=0
Stephan Gerhold3f1d3e42020-01-04 18:45:19 +010035# CONFIG_MMC_HW_PARTITIONING is not set
Stephan Gerhold8e4386c2021-08-07 15:07:22 +020036CONFIG_USB=y
37CONFIG_USB_MUSB_GADGET=y
38CONFIG_USB_GADGET=y
39CONFIG_USB_GADGET_VENDOR_NUM=0x04e8
40CONFIG_USB_GADGET_PRODUCT_NUM=0x685d
41CONFIG_DM_VIDEO=y
42CONFIG_SYS_WHITE_ON_BLACK=y
43CONFIG_VIDEO_MCDE_SIMPLE=y
Stephan Gerhold3f1d3e42020-01-04 18:45:19 +010044# CONFIG_EFI_LOADER is not set