1# Copyright (c) 2021 Carlo Caione <ccaione@baylibre.com>
2# SPDX-License-Identifier: Apache-2.0
3
4CONFIG_XIP=n
5
6CONFIG_THREAD_STACK_INFO=y
7
8# Enable Timer and Sys clock
9CONFIG_SYS_CLOCK_TICKS_PER_SEC=1000
10CONFIG_ARM_ARCH_TIMER=y
11
12# Enable UART driver
13CONFIG_SERIAL=y
14
15# Enable serial port
16CONFIG_UART_INTERRUPT_DRIVEN=y
17
18# Enable console
19CONFIG_CONSOLE=y
20CONFIG_UART_CONSOLE=y
21