2022-01-12 07:38:14 +08:00
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
|
|
|
CONFIG_SOC_SERIES_RISCV_VIRT=y
|
|
|
|
CONFIG_SOC_RISCV_VIRT=y
|
2022-09-21 13:05:14 +08:00
|
|
|
CONFIG_BOARD_QEMU_RISCV64_SMP=y
|
|
|
|
CONFIG_PRIVILEGED_STACK_SIZE=2048
|
2022-01-12 07:38:14 +08:00
|
|
|
CONFIG_CONSOLE=y
|
|
|
|
CONFIG_SERIAL=y
|
|
|
|
CONFIG_UART_CONSOLE=y
|
|
|
|
CONFIG_STACK_SENTINEL=y
|
|
|
|
CONFIG_XIP=n
|
|
|
|
CONFIG_SMP=y
|
2022-10-19 00:26:41 +08:00
|
|
|
CONFIG_MP_MAX_NUM_CPUS=2
|
2022-01-12 07:38:14 +08:00
|
|
|
CONFIG_QEMU_ICOUNT=n
|
|
|
|
|
|
|
|
CONFIG_IDLE_STACK_SIZE=1024
|
2022-09-21 13:05:14 +08:00
|
|
|
CONFIG_RISCV_PMP=y
|
2023-08-08 18:31:18 +08:00
|
|
|
CONFIG_TICKET_SPINLOCKS=y
|