14 lines
323 B
Plaintext
14 lines
323 B
Plaintext
# 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
|