1# SPDX-License-Identifier: Apache-2.0
2
3CONFIG_ARM64_VA_BITS_40=y
4CONFIG_ARM64_PA_BITS_40=y
5CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y
6
7# Enable serial console.
8CONFIG_SERIAL=y
9CONFIG_CONSOLE=y
10CONFIG_UART_CONSOLE=y
11