| CONFIG_NSIM_BOARD_CPPFLAGS="-mcpu=archs" |
| CONFIG_TEXT_BASE=0x81000000 |
| CONFIG_SYS_MALLOC_LEN=0x0200000 |
| CONFIG_SYS_MALLOC_F_LEN=0x400 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x80000f30 |
| CONFIG_DEFAULT_DEVICE_TREE="nsim" |
| CONFIG_SYS_PROMPT="nsim# " |
| CONFIG_DEBUG_UART_BASE=0xf0000000 |
| CONFIG_DEBUG_UART_CLOCK=70000000 |
| CONFIG_SYS_CLK_FREQ=70000000 |
| CONFIG_SYS_LOAD_ADDR=0x82000000 |
| CONFIG_BOOTARGS="console=ttyS0,115200n8" |
| CONFIG_SYS_BOOTM_LEN=0x2000000 |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_DEBUG_UART_SHIFT=2 |
| CONFIG_USE_PRIVATE_LIBGCC=y |