1# SPDX-License-Identifier: Apache-2.0 2# 3# Copyright (c) 2023 Antmicro <www.antmicro.com> 4 5CONFIG_CONSOLE=y 6CONFIG_UART_CONSOLE=y 7CONFIG_SERIAL=y 8CONFIG_UART_INTERRUPT_DRIVEN=y 9