2022-05-11 09:55:41 +00:00
CONFIG_ARM=y
CONFIG_SKIP_LOWLEVEL_INIT=y
CONFIG_TARGET_CORSTONE1000=y
2022-10-21 00:22:39 +00:00
CONFIG_TEXT_BASE=0x80000000
2022-05-11 09:55:41 +00:00
CONFIG_SYS_MALLOC_LEN=0x2000000
CONFIG_NR_DRAM_BANKS=1
2023-02-17 14:58:06 +00:00
CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x83f00000
2022-05-11 09:55:41 +00:00
CONFIG_DEFAULT_DEVICE_TREE="corstone1000-mps3"
CONFIG_IDENT_STRING=" corstone1000 aarch64 "
CONFIG_SYS_LOAD_ADDR=0x82100000
CONFIG_FIT=y
2024-01-03 14:26:16 +00:00
CONFIG_SYS_BOOTM_LEN=0x800000
2023-03-27 17:39:17 +00:00
CONFIG_DISTRO_DEFAULTS=y
2022-05-11 09:55:41 +00:00
CONFIG_BOOTDELAY=3
CONFIG_USE_BOOTARGS=y
CONFIG_BOOTARGS="console=ttyAMA0 loglevel=9 ip=dhcp earlyprintk"
2023-10-26 12:50:49 +00:00
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;"
2022-05-11 09:55:41 +00:00
CONFIG_CONSOLE_RECORD=y
2024-01-03 14:26:16 +00:00
CONFIG_SYS_CBSIZE=512
2022-05-11 09:55:41 +00:00
CONFIG_LOGLEVEL=7
# CONFIG_DISPLAY_CPUINFO is not set
# CONFIG_DISPLAY_BOARDINFO is not set
2023-06-12 08:09:19 +00:00
CONFIG_BOARD_LATE_INIT=y
2023-10-02 14:35:27 +00:00
CONFIG_SYS_PROMPT="corstone1000# "
2022-05-11 09:55:41 +00:00
# CONFIG_CMD_CONSOLE is not set
2023-06-12 08:09:20 +00:00
CONFIG_CMD_FWU_METADATA=y
2022-05-11 09:55:41 +00:00
CONFIG_CMD_BOOTZ=y
# CONFIG_CMD_XIMG is not set
2023-06-12 08:09:20 +00:00
CONFIG_CMD_GPT=y
2022-05-11 09:55:41 +00:00
CONFIG_CMD_LOADM=y
# CONFIG_CMD_LOADS is not set
2022-06-29 10:06:16 +00:00
CONFIG_CMD_USB=y
2022-05-11 09:55:41 +00:00
# CONFIG_CMD_SETEXPR is not set
CONFIG_CMD_CACHE=y
CONFIG_CMD_RTC=y
CONFIG_CMD_TIME=y
CONFIG_CMD_GETTIME=y
CONFIG_OF_CONTROL=y
CONFIG_VERSION_VARIABLE=y
CONFIG_NET_RANDOM_ETHADDR=y
CONFIG_REGMAP=y
2023-08-04 13:33:45 +00:00
CONFIG_ARM_FFA_TRANSPORT=y
2022-05-11 09:55:41 +00:00
CONFIG_MISC=y
# CONFIG_MMC is not set
2024-01-10 18:46:10 +00:00
CONFIG_MTD=y
2023-05-01 15:50:26 +00:00
CONFIG_NVMXIP_QSPI=y
2022-05-11 09:55:41 +00:00
CONFIG_PHYLIB=y
CONFIG_PHY_SMSC=y
CONFIG_SMC911X=y
CONFIG_PHY=y
CONFIG_RAM=y
CONFIG_DM_RTC=y
CONFIG_RTC_EMULATION=y
CONFIG_DM_SERIAL=y
2023-06-12 08:09:20 +00:00
CONFIG_SYSRESET=y
2023-10-26 12:50:51 +00:00
CONFIG_SYSRESET_PSCI=y
2023-08-04 13:33:45 +00:00
CONFIG_TEE=y
CONFIG_OPTEE=y
2022-05-11 09:55:41 +00:00
CONFIG_USB=y
2022-06-29 10:06:16 +00:00
CONFIG_USB_ISP1760=y
2024-01-03 14:26:16 +00:00
# CONFIG_RANDOM_UUID is not set
2023-07-25 21:00:57 +00:00
CONFIG_ERRNO_STR=y
2023-08-04 13:33:45 +00:00
CONFIG_EFI_MM_COMM_TEE=y
CONFIG_FFA_SHARED_MM_BUF_SIZE=4096
CONFIG_FFA_SHARED_MM_BUF_OFFSET=0
CONFIG_FFA_SHARED_MM_BUF_ADDR=0x02000000
2023-06-12 08:09:20 +00:00
CONFIG_EFI_CAPSULE_ON_DISK=y
CONFIG_EFI_IGNORE_OSINDICATIONS=y
CONFIG_FWU_MULTI_BANK_UPDATE=y