# Copyright (c) 2025 Syswonder
# SPDX-License-Identifier: Apache-2.0

config SOC_RK3588
	select ARM64
	select CPU_CORTEX_A55
	select ARM_ARCH_TIMER

config SOC_PART_NUMBER
	default "RK3588" if SOC_RK3588
