1# Copyright (c) 2023 Intel Corporation
2#
3# SPDX-License-Identifier: Apache-2.0
4#
5
6if BOARD_INTEL_ISH_5_4_1 || BOARD_INTEL_ISH_5_6_0 || BOARD_INTEL_ISH_5_8_0
7
8config BOARD
9	default "intel_ish_5_4_1" if BOARD_INTEL_ISH_5_4_1
10	default "intel_ish_5_6_0" if BOARD_INTEL_ISH_5_6_0
11	default "intel_ish_5_8_0" if BOARD_INTEL_ISH_5_8_0
12
13if TEST
14config TEST_EXTRA_STACK_SIZE
15	int
16	default 1024
17endif # TEST
18
19config HPET_TIMER
20	default y
21
22config SYS_CLOCK_TICKS_PER_SEC
23	default 2048 if HPET_TIMER # HPET is 32768 HZ
24
25endif # BOARD_INTEL_ISH_5_4_1 || BOARD_INTEL_ISH_5_6_0 || BOARD_INTEL_ISH_5_8_0
26