# Copyright (c) 2023 Intel Corporation
#
# SPDX-License-Identifier: Apache-2.0
if TEST
config TEST_EXTRA_STACK_SIZE
default 1024
endif # TEST
config SYS_CLOCK_TICKS_PER_SEC
default 2048 if HPET_TIMER # HPET timer's frequency is 32768 HZ
default 2000 if APIC_TIMER_TSC # APIC timer's frequency is 19.2 MHZ or 100 MHZ