1# Copyright (c) 2020, Antmicro
2
3# Enable UART driver
4CONFIG_SERIAL=y
5
6# Enable console
7CONFIG_CONSOLE=y
8CONFIG_UART_CONSOLE=y
9
10# Enable timer
11CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
12