| # SPDX-License-Identifier: Apache-2.0 | |
| # | |
| # Copyright (c) 2023 Antmicro <www.antmicro.com> | |
| if SOC_FAMILY_AMBIQ | |
| rsource "*/Kconfig.defconfig" | |
| config CORTEX_M_SYSTICK | |
| default n if AMBIQ_STIMER_TIMER | |
| config SYS_CLOCK_TICKS_PER_SEC | |
| default 1024 | |
| endif # SOC_FAMILY_AMBIQ |