# Copyright (c) 2021 Carlo Caione # SPDX-License-Identifier: Apache-2.0 CONFIG_XIP=n CONFIG_THREAD_STACK_INFO=y # Enable Timer and Sys clock CONFIG_SYS_CLOCK_TICKS_PER_SEC=1000 CONFIG_ARM_ARCH_TIMER=y # Enable UART driver CONFIG_SERIAL=y # Enable serial port CONFIG_UART_INTERRUPT_DRIVEN=y # Enable console CONFIG_CONSOLE=y CONFIG_UART_CONSOLE=y