1CONFIG_ARM_ARCH_TIMER=y
2CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y
3CONFIG_QEMU_ICOUNT=n
4CONFIG_ARMV8_A_NS=y
5
6# Cache management
7CONFIG_CACHE_MANAGEMENT=y
8
9# Enable UART driver
10CONFIG_SERIAL=y
11
12# Enable console
13CONFIG_CONSOLE=y
14CONFIG_UART_CONSOLE=y
15
16# Enable serial port
17CONFIG_UART_INTERRUPT_DRIVEN=y
18