blob: 3b5733b777d3bdbedae8428abe79b70643f4c1e7 [file] [log] [blame]
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +01001CONFIG_ARM=y
2CONFIG_SKIP_LOWLEVEL_INIT=y
3CONFIG_TARGET_CORSTONE1000=y
Simon Glass72cc5382022-10-20 18:22:39 -06004CONFIG_TEXT_BASE=0x80000000
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +01005CONFIG_SYS_MALLOC_LEN=0x2000000
6CONFIG_NR_DRAM_BANKS=1
Tom Rini9924ca12023-02-17 09:58:06 -05007CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
8CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x83f00000
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +01009CONFIG_DEFAULT_DEVICE_TREE="corstone1000-mps3"
Tom Rinice53ec82022-08-23 15:24:14 -040010CONFIG_SYS_PROMPT="corstone1000# "
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010011CONFIG_IDENT_STRING=" corstone1000 aarch64 "
12CONFIG_SYS_LOAD_ADDR=0x82100000
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010013CONFIG_FIT=y
Tom Riniadb7a192023-03-27 13:39:17 -040014CONFIG_DISTRO_DEFAULTS=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010015CONFIG_BOOTDELAY=3
16CONFIG_USE_BOOTARGS=y
17CONFIG_BOOTARGS="console=ttyAMA0 loglevel=9 ip=dhcp earlyprintk"
Rui Miguel Silva70429792023-06-12 09:09:20 +010018CONFIG_BOOTCOMMAND="echo Loading kernel from $kernel_addr to memory ... ; loadm $kernel_addr $kernel_addr_r 0xc00000; usb start; usb reset; run distro_bootcmd; bootefi $kernel_addr_r $fdtcontroladdr;"
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010019CONFIG_CONSOLE_RECORD=y
20CONFIG_LOGLEVEL=7
21# CONFIG_DISPLAY_CPUINFO is not set
22# CONFIG_DISPLAY_BOARDINFO is not set
Rui Miguel Silva5d1c5942023-06-12 09:09:19 +010023CONFIG_BOARD_LATE_INIT=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010024CONFIG_SYS_MAXARGS=64
25CONFIG_SYS_CBSIZE=512
26# CONFIG_CMD_CONSOLE is not set
Rui Miguel Silva70429792023-06-12 09:09:20 +010027CONFIG_CMD_FWU_METADATA=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010028CONFIG_CMD_BOOTZ=y
Tom Rinif3c2f992022-06-25 19:29:46 -040029CONFIG_SYS_BOOTM_LEN=0x800000
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010030# CONFIG_CMD_XIMG is not set
Rui Miguel Silva70429792023-06-12 09:09:20 +010031CONFIG_CMD_GPT=y
32# CONFIG_RANDOM_UUID is not set
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010033CONFIG_CMD_LOADM=y
34# CONFIG_CMD_LOADS is not set
Rui Miguel Silva241bb782022-06-29 11:06:16 +010035CONFIG_CMD_USB=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010036# CONFIG_CMD_SETEXPR is not set
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010037CONFIG_CMD_CACHE=y
38CONFIG_CMD_RTC=y
39CONFIG_CMD_TIME=y
40CONFIG_CMD_GETTIME=y
41CONFIG_OF_CONTROL=y
42CONFIG_VERSION_VARIABLE=y
43CONFIG_NET_RANDOM_ETHADDR=y
44CONFIG_REGMAP=y
Abdellatif El Khlififbb7a422023-08-04 14:33:45 +010045CONFIG_ARM_FFA_TRANSPORT=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010046CONFIG_MISC=y
47# CONFIG_MMC is not set
Tom Rinia77d6f82023-05-01 11:50:26 -040048CONFIG_NVMXIP_QSPI=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010049CONFIG_PHYLIB=y
50CONFIG_PHY_SMSC=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010051CONFIG_SMC911X=y
52CONFIG_PHY=y
53CONFIG_RAM=y
54CONFIG_DM_RTC=y
55CONFIG_RTC_EMULATION=y
56CONFIG_DM_SERIAL=y
Rui Miguel Silva70429792023-06-12 09:09:20 +010057CONFIG_SYSRESET=y
Abdellatif El Khlififbb7a422023-08-04 14:33:45 +010058CONFIG_TEE=y
59CONFIG_OPTEE=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010060CONFIG_USB=y
Rui Miguel Silva241bb782022-06-29 11:06:16 +010061CONFIG_USB_ISP1760=y
Tom Rini29811b42023-07-25 17:00:57 -040062CONFIG_ERRNO_STR=y
Abdellatif El Khlififbb7a422023-08-04 14:33:45 +010063CONFIG_EFI_MM_COMM_TEE=y
64CONFIG_FFA_SHARED_MM_BUF_SIZE=4096
65CONFIG_FFA_SHARED_MM_BUF_OFFSET=0
66CONFIG_FFA_SHARED_MM_BUF_ADDR=0x02000000
Rui Miguel Silva70429792023-06-12 09:09:20 +010067CONFIG_EFI_CAPSULE_ON_DISK=y
68CONFIG_EFI_IGNORE_OSINDICATIONS=y
69CONFIG_FWU_MULTI_BANK_UPDATE=y