1# SPDX-License-Identifier: Apache-2.0
2
3zephyr_include_directories(.)
4zephyr_sources(
5	soc.c
6)
7zephyr_sources_ifdef(CONFIG_SOC_BCM58402_A72	plat_core.c)
8
9zephyr_sources_ifdef(CONFIG_ARM_MMU mmu_regions.c)
10