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
9