1# SPDX-License-Identifier: Apache-2.0
2#
3# Copyright (c) 2023 Antmicro <www.antmicro.com>
4
5if SOC_FAMILY_AMBIQ
6
7rsource "*/Kconfig.defconfig"
8
9config CORTEX_M_SYSTICK
10 default n if AMBIQ_STIMER_TIMER
11
12config SYS_CLOCK_TICKS_PER_SEC
13 default 1024
14
15endif # SOC_FAMILY_AMBIQ
16
