# Copyright 2023 honglin leng # SPDX-License-Identifier: Apache-2.0 config SOC_BCM2711 select ARM64 select CPU_CORTEX_A72 select ARM_ARCH_TIMER if SYS_CLOCK_EXISTS