blob: 074936d575ad6daabf6366774b637b78044f4b1a [file] [log] [blame]
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +01001CONFIG_ARM=y
2CONFIG_SKIP_LOWLEVEL_INIT=y
3CONFIG_TARGET_CORSTONE1000=y
Simon Glass98463902022-10-20 18:22:39 -06004CONFIG_TEXT_BASE=0x80000000
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +01005CONFIG_SYS_MALLOC_LEN=0x2000000
6CONFIG_NR_DRAM_BANKS=1
Tom Rinifcb51172023-02-17 09:58:06 -05007CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
8CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x83f00000
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +01009CONFIG_DEFAULT_DEVICE_TREE="corstone1000-mps3"
10CONFIG_IDENT_STRING=" corstone1000 aarch64 "
11CONFIG_SYS_LOAD_ADDR=0x82100000
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010012CONFIG_FIT=y
Tom Rinic358af82023-03-27 13:39:17 -040013CONFIG_DISTRO_DEFAULTS=y
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010014CONFIG_BOOTDELAY=3
15CONFIG_USE_BOOTARGS=y
16CONFIG_BOOTARGS="console=ttyAMA0 loglevel=9 ip=dhcp earlyprintk"
Rui Miguel Silva3e41eba2023-06-12 09:09:20 +010017CONFIG_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 Silvaf98457d2022-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 Silva17c744c2023-06-12 09:09:19 +010022CONFIG_BOARD_LATE_INIT=y
Tom Riniba6d5752023-10-02 10:35:27 -040023CONFIG_SYS_PROMPT="corstone1000# "
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010024CONFIG_SYS_MAXARGS=64
25CONFIG_SYS_CBSIZE=512
26# CONFIG_CMD_CONSOLE is not set
Rui Miguel Silva3e41eba2023-06-12 09:09:20 +010027CONFIG_CMD_FWU_METADATA=y
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010028CONFIG_CMD_BOOTZ=y
Tom Rinic45568c2022-06-25 19:29:46 -040029CONFIG_SYS_BOOTM_LEN=0x800000
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010030# CONFIG_CMD_XIMG is not set
Rui Miguel Silva3e41eba2023-06-12 09:09:20 +010031CONFIG_CMD_GPT=y
32# CONFIG_RANDOM_UUID is not set
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010033CONFIG_CMD_LOADM=y
34# CONFIG_CMD_LOADS is not set
Rui Miguel Silva018cdfc2022-06-29 11:06:16 +010035CONFIG_CMD_USB=y
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010036# CONFIG_CMD_SETEXPR is not set
Rui Miguel Silvaf98457d2022-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 Khlifi13f34702023-08-04 14:33:45 +010045CONFIG_ARM_FFA_TRANSPORT=y
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010046CONFIG_MISC=y
47# CONFIG_MMC is not set
Tom Rinic960c0f2023-05-01 11:50:26 -040048CONFIG_NVMXIP_QSPI=y
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010049CONFIG_PHYLIB=y
50CONFIG_PHY_SMSC=y
Rui Miguel Silvaf98457d2022-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 Silva3e41eba2023-06-12 09:09:20 +010057CONFIG_SYSRESET=y
Abdellatif El Khlifi13f34702023-08-04 14:33:45 +010058CONFIG_TEE=y
59CONFIG_OPTEE=y
Rui Miguel Silvaf98457d2022-05-11 10:55:41 +010060CONFIG_USB=y
Rui Miguel Silva018cdfc2022-06-29 11:06:16 +010061CONFIG_USB_ISP1760=y
Tom Rini9455dc32023-07-25 17:00:57 -040062CONFIG_ERRNO_STR=y
Abdellatif El Khlifi13f34702023-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 Silva3e41eba2023-06-12 09:09:20 +010067CONFIG_EFI_CAPSULE_ON_DISK=y
68CONFIG_EFI_IGNORE_OSINDICATIONS=y
69CONFIG_FWU_MULTI_BANK_UPDATE=y