1# Cache management
2CONFIG_CACHE_MANAGEMENT=y
3
4# Enable UART driver
5CONFIG_SERIAL=y
6
7# Enable console
8CONFIG_CONSOLE=y
9CONFIG_UART_CONSOLE=y
10CONFIG_UART_INTERRUPT_DRIVEN=y
11
12# Enable clock control
13CONFIG_CLOCK_CONTROL=y
14CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=16666666
15
16CONFIG_AARCH64_IMAGE_HEADER=y
17CONFIG_XIP=n
18CONFIG_MAX_XLAT_TABLES=24
19CONFIG_ARMV8_A_NS=y
20