1# SPDX-License-Identifier: Apache-2.0 2 3CONFIG_CONSOLE=y 4CONFIG_SERIAL=y 5CONFIG_UART_CONSOLE=y 6CONFIG_GPIO=n 7CONFIG_XIP=y 8 9# Workaround for incorrect SYS_CLOCK_HW_CYCLES_PER_SEC 10CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 11