1# Copyright 2020 Broadcom
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_BCM58402_A72
5
6config SOC
7	default "bcm58402_a72"
8
9config NUM_IRQS
10	int
11	default 260
12
13config SYS_CLOCK_HW_CYCLES_PER_SEC
14	int
15	default 25000000
16
17endif
18