1# Copyright (c) 2023 Intel Corporation
2#
3# SPDX-License-Identifier: Apache-2.0
4#
5
6if TEST
7config TEST_EXTRA_STACK_SIZE
8	default 1024
9endif # TEST
10
11config SYS_CLOCK_TICKS_PER_SEC
12	default 2048 if HPET_TIMER # HPET timer's frequency is 32768 HZ
13	default 2000 if APIC_TIMER_TSC # APIC timer's frequency is 19.2 MHZ or 100 MHZ
14