# SPDX-License-Identifier: Apache-2.0

CONFIG_OPENRISC_TICK_TIMER=y
CONFIG_CONSOLE=y
CONFIG_SERIAL=y
CONFIG_UART_CONSOLE=y
CONFIG_STACK_SENTINEL=y
