# Copyright (c) 2022 Intel Corporation | |
# SPDX-License-Identifier: Apache-2.0 | |
if BOARD_RPL_CRB | |
config BOARD | |
default "rpl_crb" | |
config BUILD_OUTPUT_STRIPPED | |
default y | |
config MP_MAX_NUM_CPUS | |
default 2 | |
config SYS_CLOCK_HW_CYCLES_PER_SEC | |
default 1900000000 if APIC_TSC_DEADLINE_TIMER | |
default 1900000000 if APIC_TIMER_TSC | |
default 19200000 | |
if APIC_TIMER | |
config APIC_TIMER_IRQ | |
default 24 | |
config APIC_TIMER_TSC_M | |
default 3 | |
config APIC_TIMER_TSC_N | |
default 249 | |
endif | |
endif # BOARD_RPL_CRB |