# SPDX-License-Identifier: Apache-2.0

# ARM CPU and VideoCore GPU requires at least 16M of virtual space
CONFIG_KERNEL_VM_SIZE=0x1000000

# Platform Configuration
CONFIG_ARM64_VA_BITS_36=y
CONFIG_ARM64_PA_BITS_36=y

# MMU Options
CONFIG_MAX_XLAT_TABLES=24

# Serial Drivers
CONFIG_SERIAL=y
CONFIG_UART_INTERRUPT_DRIVEN=y

# Enable Console
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y

# Timer Drivers
CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y

# icount does not work well with SMP
CONFIG_QEMU_ICOUNT=n

# Enable SMP
CONFIG_SMP=y
CONFIG_MP_MAX_NUM_CPUS=4
CONFIG_MAX_THREAD_BYTES=4
CONFIG_TIMEOUT_64BIT=y

# Enable CPU PM
CONFIG_PM_CPU_OPS=y
