]>
Commit | Line | Data |
---|---|---|
f98457d7 RMS |
1 | CONFIG_ARM=y |
2 | CONFIG_SKIP_LOWLEVEL_INIT=y | |
3 | CONFIG_TARGET_CORSTONE1000=y | |
98463903 | 4 | CONFIG_TEXT_BASE=0x80000000 |
f98457d7 RMS |
5 | CONFIG_SYS_MALLOC_LEN=0x2000000 |
6 | CONFIG_NR_DRAM_BANKS=1 | |
fcb5117d TR |
7 | CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
8 | CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x83f00000 | |
f98457d7 RMS |
9 | CONFIG_DEFAULT_DEVICE_TREE="corstone1000-mps3" |
10 | CONFIG_IDENT_STRING=" corstone1000 aarch64 " | |
11 | CONFIG_SYS_LOAD_ADDR=0x82100000 | |
f98457d7 | 12 | CONFIG_FIT=y |
42fb448a | 13 | CONFIG_SYS_BOOTM_LEN=0x800000 |
c358af81 | 14 | CONFIG_DISTRO_DEFAULTS=y |
f98457d7 RMS |
15 | CONFIG_BOOTDELAY=3 |
16 | CONFIG_USE_BOOTARGS=y | |
17 | CONFIG_BOOTARGS="console=ttyAMA0 loglevel=9 ip=dhcp earlyprintk" | |
805aa48a | 18 | CONFIG_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;" |
f98457d7 | 19 | CONFIG_CONSOLE_RECORD=y |
42fb448a | 20 | CONFIG_SYS_CBSIZE=512 |
f98457d7 RMS |
21 | CONFIG_LOGLEVEL=7 |
22 | # CONFIG_DISPLAY_CPUINFO is not set | |
23 | # CONFIG_DISPLAY_BOARDINFO is not set | |
17c744c3 | 24 | CONFIG_BOARD_LATE_INIT=y |
ba6d575e | 25 | CONFIG_SYS_PROMPT="corstone1000# " |
f98457d7 | 26 | # CONFIG_CMD_CONSOLE is not set |
e32c15d6 | 27 | CONFIG_CMD_FWU_METADATA=y |
f98457d7 RMS |
28 | CONFIG_CMD_BOOTZ=y |
29 | # CONFIG_CMD_XIMG is not set | |
3e41ebaa | 30 | CONFIG_CMD_GPT=y |
f98457d7 RMS |
31 | CONFIG_CMD_LOADM=y |
32 | # CONFIG_CMD_LOADS is not set | |
018cdfc3 | 33 | CONFIG_CMD_USB=y |
f98457d7 | 34 | # CONFIG_CMD_SETEXPR is not set |
f98457d7 RMS |
35 | CONFIG_CMD_CACHE=y |
36 | CONFIG_CMD_RTC=y | |
37 | CONFIG_CMD_TIME=y | |
38 | CONFIG_CMD_GETTIME=y | |
39 | CONFIG_OF_CONTROL=y | |
40 | CONFIG_VERSION_VARIABLE=y | |
41 | CONFIG_NET_RANDOM_ETHADDR=y | |
42 | CONFIG_REGMAP=y | |
13f3470a | 43 | CONFIG_ARM_FFA_TRANSPORT=y |
f98457d7 RMS |
44 | CONFIG_MISC=y |
45 | # CONFIG_MMC is not set | |
db04ff42 | 46 | CONFIG_MTD=y |
c960c0fd | 47 | CONFIG_NVMXIP_QSPI=y |
f98457d7 RMS |
48 | CONFIG_PHYLIB=y |
49 | CONFIG_PHY_SMSC=y | |
f98457d7 RMS |
50 | CONFIG_SMC911X=y |
51 | CONFIG_PHY=y | |
52 | CONFIG_RAM=y | |
53 | CONFIG_DM_RTC=y | |
54 | CONFIG_RTC_EMULATION=y | |
55 | CONFIG_DM_SERIAL=y | |
3e41ebaa | 56 | CONFIG_SYSRESET=y |
edf90d4e | 57 | CONFIG_SYSRESET_PSCI=y |
13f3470a AEK |
58 | CONFIG_TEE=y |
59 | CONFIG_OPTEE=y | |
f98457d7 | 60 | CONFIG_USB=y |
018cdfc3 | 61 | CONFIG_USB_ISP1760=y |
42fb448a | 62 | # CONFIG_RANDOM_UUID is not set |
9455dc32 | 63 | CONFIG_ERRNO_STR=y |
13f3470a AEK |
64 | CONFIG_EFI_MM_COMM_TEE=y |
65 | CONFIG_FFA_SHARED_MM_BUF_SIZE=4096 | |
66 | CONFIG_FFA_SHARED_MM_BUF_OFFSET=0 | |
67 | CONFIG_FFA_SHARED_MM_BUF_ADDR=0x02000000 | |
3e41ebaa | 68 | CONFIG_EFI_CAPSULE_ON_DISK=y |
e32c15d6 SG |
69 | CONFIG_FWU_MULTI_BANK_UPDATE=y |
70 | CONFIG_FWU_MDATA_V1=y |