| # 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 |