1# Copyright 2024 Université Gustave Eiffel
2# SPDX-License-Identifier: Apache-2.0
3
4# Platform Configuration
5CONFIG_ARM64_VA_BITS_40=y
6CONFIG_ARM64_PA_BITS_40=y
7CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=24000000
8CONFIG_CACHE_MANAGEMENT=y
9CONFIG_ARMV8_A_NS=y
10
11# Serial Drivers
12CONFIG_SERIAL=y
13CONFIG_UART_INTERRUPT_DRIVEN=y
14
15# Enable Console
16CONFIG_CONSOLE=y
17CONFIG_UART_CONSOLE=y
18