blob: 3cd6aa092454b31be554ec89b8eb9449d8264615 [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"
10CONFIG_IDENT_STRING=" corstone1000 aarch64 "
11CONFIG_SYS_LOAD_ADDR=0x82100000
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010012CONFIG_FIT=y
Tom Riniadb7a192023-03-27 13:39:17 -040013CONFIG_DISTRO_DEFAULTS=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010014CONFIG_BOOTDELAY=3
15CONFIG_USE_BOOTARGS=y
16CONFIG_BOOTARGS="console=ttyAMA0 loglevel=9 ip=dhcp earlyprintk"
Abdellatif El Khlifidb11b562023-10-26 13:50:49 +010017CONFIG_BOOTCOMMAND="echo Loading kernel from $kernel_addr to memory ... ; unzip $kernel_addr 0x90000000; loadm 0x90000000 $kernel_addr_r $filesize; usb start; usb reset; run distro_bootcmd; bootefi $kernel_addr_r $fdtcontroladdr;"
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010018CONFIG_CONSOLE_RECORD=y
19CONFIG_LOGLEVEL=7
20# CONFIG_DISPLAY_CPUINFO is not set
21# CONFIG_DISPLAY_BOARDINFO is not set
Rui Miguel Silva5d1c5942023-06-12 09:09:19 +010022CONFIG_BOARD_LATE_INIT=y
Tom Rinic4359852023-10-02 10:35:27 -040023CONFIG_SYS_PROMPT="corstone1000# "
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
Emekcan Aras15d3b252023-10-26 13:50:51 +010058CONFIG_SYSRESET_PSCI=y
Abdellatif El Khlififbb7a422023-08-04 14:33:45 +010059CONFIG_TEE=y
60CONFIG_OPTEE=y
Rui Miguel Silvaee0fec72022-05-11 10:55:41 +010061CONFIG_USB=y
Rui Miguel Silva241bb782022-06-29 11:06:16 +010062CONFIG_USB_ISP1760=y
Tom Rini29811b42023-07-25 17:00:57 -040063CONFIG_ERRNO_STR=y
Abdellatif El Khlififbb7a422023-08-04 14:33:45 +010064CONFIG_EFI_MM_COMM_TEE=y
65CONFIG_FFA_SHARED_MM_BUF_SIZE=4096
66CONFIG_FFA_SHARED_MM_BUF_OFFSET=0
67CONFIG_FFA_SHARED_MM_BUF_ADDR=0x02000000
Rui Miguel Silva70429792023-06-12 09:09:20 +010068CONFIG_EFI_CAPSULE_ON_DISK=y
69CONFIG_EFI_IGNORE_OSINDICATIONS=y
70CONFIG_FWU_MULTI_BANK_UPDATE=y