1# SPDX-License-Identifier: Apache-2.0
2
3CONFIG_CONSOLE=y
4CONFIG_SERIAL=y
5CONFIG_UART_CONSOLE=y
6CONFIG_EXTRA_EXCEPTION_INFO=y
7CONFIG_QEMU_ICOUNT_SHIFT=6
8