1# Infineon XMC4700 relax kit platform configuration options
2#
3# Copyright (c) 2023 Schlumberger
4# SPDX-License-Identifier: Apache-2.0
5
6if SOC_XMC4700
7
8config SOC
9	default "XMC4700"
10
11config SYS_CLOCK_HW_CYCLES_PER_SEC
12	default 144000000
13
14config NUM_IRQS
15	default 112
16
17endif # SOC_XMC4700
18