| CONFIG_ARM=y |
| CONFIG_SKIP_LOWLEVEL_INIT=y |
| CONFIG_TARGET_CORSTONE1000=y |
| CONFIG_TEXT_BASE=0x80000000 |
| CONFIG_SYS_MALLOC_LEN=0x2000000 |
| CONFIG_NR_DRAM_BANKS=1 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x83f00000 |
| CONFIG_DEFAULT_DEVICE_TREE="corstone1000-mps3" |
| CONFIG_SYS_PROMPT="corstone1000# " |
| CONFIG_IDENT_STRING=" corstone1000 aarch64 " |
| CONFIG_SYS_LOAD_ADDR=0x82100000 |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_FIT=y |
| CONFIG_BOOTDELAY=3 |
| CONFIG_USE_BOOTARGS=y |
| CONFIG_BOOTARGS="console=ttyAMA0 loglevel=9 ip=dhcp earlyprintk" |
| CONFIG_BOOTCOMMAND="run retrieve_kernel_load_addr; 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;" |
| CONFIG_CONSOLE_RECORD=y |
| CONFIG_LOGLEVEL=7 |
| # CONFIG_DISPLAY_CPUINFO is not set |
| # CONFIG_DISPLAY_BOARDINFO is not set |
| CONFIG_SYS_MAXARGS=64 |
| CONFIG_SYS_CBSIZE=512 |
| # CONFIG_CMD_CONSOLE is not set |
| CONFIG_CMD_BOOTZ=y |
| CONFIG_SYS_BOOTM_LEN=0x800000 |
| # CONFIG_CMD_XIMG is not set |
| CONFIG_CMD_LOADM=y |
| # CONFIG_CMD_LOADS is not set |
| CONFIG_CMD_USB=y |
| # CONFIG_CMD_SETEXPR is not set |
| # CONFIG_CMD_NFS 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 |
| CONFIG_MISC=y |
| # CONFIG_MMC is not set |
| 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 |
| CONFIG_USB=y |
| CONFIG_USB_ISP1760=y |
| CONFIG_ERRNO_STR=y |
