# Copyright (c) 2023 Intel Corporation
#
# SPDX-License-Identifier: Apache-2.0
#

if BOARD_INTEL_ISH_5_4_1 || BOARD_INTEL_ISH_5_6_0 || BOARD_INTEL_ISH_5_8_0

config BOARD
	default "intel_ish_5_4_1" if BOARD_INTEL_ISH_5_4_1
	default "intel_ish_5_6_0" if BOARD_INTEL_ISH_5_6_0
	default "intel_ish_5_8_0" if BOARD_INTEL_ISH_5_8_0

if TEST
config TEST_EXTRA_STACK_SIZE
	int
	default 1024
endif # TEST

config HPET_TIMER
	default y

config SYS_CLOCK_TICKS_PER_SEC
	default 2048 if HPET_TIMER # HPET is 32768 HZ

endif # BOARD_INTEL_ISH_5_4_1 || BOARD_INTEL_ISH_5_6_0 || BOARD_INTEL_ISH_5_8_0