configs/corstone1000_defconfig

   1 CONFIG_ARM=y
   2 CONFIG_SKIP_LOWLEVEL_INIT=y
   3 CONFIG_TARGET_CORSTONE1000=y
   4 CONFIG_TEXT_BASE=0x80000000
   5 CONFIG_SYS_MALLOC_LEN=0x2000000
   6 CONFIG_NR_DRAM_BANKS=1
   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_IDENT_STRING=" corstone1000 aarch64 "
  11 CONFIG_SYS_LOAD_ADDR=0x82100000
  12 CONFIG_FIT=y
  13 CONFIG_SYS_BOOTM_LEN=0x800000
  14 CONFIG_DISTRO_DEFAULTS=y
  15 CONFIG_BOOTDELAY=3
  16 CONFIG_USE_BOOTARGS=y
  17 CONFIG_BOOTARGS="console=ttyAMA0 loglevel=9 ip=dhcp earlyprintk"
  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;"
  19 CONFIG_CONSOLE_RECORD=y
  20 CONFIG_SYS_CBSIZE=512
  21 CONFIG_LOGLEVEL=7
  22 # CONFIG_DISPLAY_CPUINFO is not set
  23 # CONFIG_DISPLAY_BOARDINFO is not set
  24 CONFIG_BOARD_LATE_INIT=y
  25 CONFIG_SYS_PROMPT="corstone1000# "
  26 CONFIG_SYS_MAXARGS=64
  27 # CONFIG_CMD_CONSOLE is not set
  28 CONFIG_CMD_FWU_METADATA=y
  29 CONFIG_CMD_BOOTZ=y
  30 # CONFIG_CMD_XIMG is not set
  31 CONFIG_CMD_GPT=y
  32 CONFIG_CMD_LOADM=y
  33 # CONFIG_CMD_LOADS is not set
  34 CONFIG_CMD_USB=y
  35 # CONFIG_CMD_SETEXPR is not set
  36 CONFIG_CMD_CACHE=y
  37 CONFIG_CMD_RTC=y
  38 CONFIG_CMD_TIME=y
  39 CONFIG_CMD_GETTIME=y
  40 CONFIG_OF_CONTROL=y
  41 CONFIG_VERSION_VARIABLE=y
  42 CONFIG_NET_RANDOM_ETHADDR=y
  43 CONFIG_REGMAP=y
  44 CONFIG_ARM_FFA_TRANSPORT=y
  45 CONFIG_MISC=y
  46 # CONFIG_MMC is not set
  47 CONFIG_MTD=y
  48 CONFIG_NVMXIP_QSPI=y
  49 CONFIG_PHYLIB=y
  50 CONFIG_PHY_SMSC=y
  51 CONFIG_SMC911X=y
  52 CONFIG_PHY=y
  53 CONFIG_RAM=y
  54 CONFIG_DM_RTC=y
  55 CONFIG_RTC_EMULATION=y
  56 CONFIG_DM_SERIAL=y
  57 CONFIG_SYSRESET=y
  58 CONFIG_SYSRESET_PSCI=y
  59 CONFIG_TEE=y
  60 CONFIG_OPTEE=y
  61 CONFIG_USB=y
  62 CONFIG_USB_ISP1760=y
  63 # CONFIG_RANDOM_UUID is not set
  64 CONFIG_ERRNO_STR=y
  65 CONFIG_EFI_MM_COMM_TEE=y
  66 CONFIG_FFA_SHARED_MM_BUF_SIZE=4096
  67 CONFIG_FFA_SHARED_MM_BUF_OFFSET=0
  68 CONFIG_FFA_SHARED_MM_BUF_ADDR=0x02000000
  69 CONFIG_EFI_CAPSULE_ON_DISK=y
  70 CONFIG_EFI_IGNORE_OSINDICATIONS=y
  71 CONFIG_FWU_MULTI_BANK_UPDATE=y