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