1# Copyright (c) 2019 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4if BOARD_MEC15XXEVB_ASSY6853
5
6config ESPI_XEC
7	default y
8	depends on ESPI
9
10if RTOS_TIMER
11
12# XEC RTOS timer HW frequency is fixed at 32768
13# The driver requires tickless mode and ticks per
14# second to be 32768 for accurate operation.
15
16config SYS_CLOCK_HW_CYCLES_PER_SEC
17	default 32768
18
19config SYS_CLOCK_TICKS_PER_SEC
20	default 32768
21
22endif # RTOS_TIMER
23
24if !RTOS_TIMER
25
26# If RTOS timer is not enabled we use ARM Cortex-M
27# SYSTICK. SYSTICK frequency is 48MHz divided by
28# SOC_MEC1501_PROC_CLK_DIV.
29#
30
31config SYS_CLOCK_HW_CYCLES_PER_SEC
32	default 48000000
33
34config SYS_CLOCK_TICKS_PER_SEC
35	default 1000
36
37endif # RTOS_TIMER
38
39endif # BOARD_MEC15XXEVB_ASSY6853
40