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 SYS_CLOCK_HW_CYCLES_PER_SEC
9 default 144000000
10
11config NUM_IRQS
12 default 112
13
14endif # SOC_XMC4700
15
