2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 CONFIG_TARGET_CORSTONE1000=y
4 CONFIG_TEXT_BASE=0x80000000
5 CONFIG_SYS_MALLOC_LEN=0x2000000
7 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
8 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x83f00000
9 CONFIG_DEFAULT_DEVICE_TREE="corstone1000-mps3"
10 CONFIG_SYS_PROMPT="corstone1000# "
11 CONFIG_IDENT_STRING=" corstone1000 aarch64 "
12 CONFIG_SYS_LOAD_ADDR=0x82100000
14 CONFIG_DISTRO_DEFAULTS=y
17 CONFIG_BOOTARGS="console=ttyAMA0 loglevel=9 ip=dhcp earlyprintk"
18 CONFIG_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;"
19 CONFIG_CONSOLE_RECORD=y
21 # CONFIG_DISPLAY_CPUINFO is not set
22 # CONFIG_DISPLAY_BOARDINFO is not set
23 CONFIG_BOARD_LATE_INIT=y
26 # CONFIG_CMD_CONSOLE is not set
27 CONFIG_CMD_FWU_METADATA=y
29 CONFIG_SYS_BOOTM_LEN=0x800000
30 # CONFIG_CMD_XIMG is not set
32 # CONFIG_RANDOM_UUID is not set
34 # CONFIG_CMD_LOADS is not set
36 # CONFIG_CMD_SETEXPR is not set
42 CONFIG_VERSION_VARIABLE=y
43 CONFIG_NET_RANDOM_ETHADDR=y
45 CONFIG_ARM_FFA_TRANSPORT=y
47 # CONFIG_MMC is not set
55 CONFIG_RTC_EMULATION=y
63 CONFIG_EFI_MM_COMM_TEE=y
64 CONFIG_FFA_SHARED_MM_BUF_SIZE=4096
65 CONFIG_FFA_SHARED_MM_BUF_OFFSET=0
66 CONFIG_FFA_SHARED_MM_BUF_ADDR=0x02000000
67 CONFIG_EFI_CAPSULE_ON_DISK=y
68 CONFIG_EFI_IGNORE_OSINDICATIONS=y
69 CONFIG_FWU_MULTI_BANK_UPDATE=y