1# SPDX-License-Identifier: Apache-2.0
2
3CONFIG_CONSOLE=y
4CONFIG_SERIAL=y
5CONFIG_UART_CONSOLE=y
6CONFIG_STACK_SENTINEL=y
7CONFIG_XIP=n
8CONFIG_RISCV_PMP=y
9CONFIG_SMP=y
10CONFIG_MP_MAX_NUM_CPUS=2
11CONFIG_IDLE_STACK_SIZE=1024
12CONFIG_QEMU_ICOUNT=n
13
