1# SPDX-License-Identifier: Apache-2.0
2
3CONFIG_CONSOLE=y
4CONFIG_SERIAL=y
5CONFIG_UART_CONSOLE=y
6CONFIG_STACK_SENTINEL=y
7CONFIG_QEMU_ICOUNT_SHIFT=6
8CONFIG_XIP=n
9CONFIG_RISCV_PMP=y
10