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