# Copyright 2024 Junho Lee <junho@tsnlab.com>
# SPDX-License-Identifier: Apache-2.0

config SOC_BCM2712
	select ARM64
	select CPU_CORTEX_A76
	select ARM_ARCH_TIMER if SYS_CLOCK_EXISTS
