| CONFIG_ARC=y |
| CONFIG_ISA_ARCV2=y |
| CONFIG_TARGET_NSIM=y |
| CONFIG_SYS_TEXT_BASE=0x81000000 |
| CONFIG_DEBUG_UART_BASE=0xf0000000 |
| CONFIG_DEBUG_UART_CLOCK=70000000 |
| CONFIG_SYS_CLK_FREQ=70000000 |
| CONFIG_DEBUG_UART=y |
| CONFIG_BOOTDELAY=3 |
| CONFIG_USE_BOOTARGS=y |
| CONFIG_BOOTARGS="console=ttyS0,115200n8" |
| CONFIG_SYS_PROMPT="nsim# " |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_OF_CONTROL=y |
| CONFIG_OF_EMBED=y |
| CONFIG_DEFAULT_DEVICE_TREE="nsim" |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_DM=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_DEBUG_UART_SHIFT=2 |
| CONFIG_SYS_NS16550=y |
| CONFIG_USE_PRIVATE_LIBGCC=y |