2020-12-11 02:10:54 +08:00
|
|
|
# Copyright (c) 2020 Intel Corporation
|
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
2021-05-07 08:57:51 +08:00
|
|
|
if BOARD_EHL_CRB || BOARD_EHL_CRB_SBL
|
2020-12-11 02:10:54 +08:00
|
|
|
|
|
|
|
config BOARD
|
2021-05-07 08:57:51 +08:00
|
|
|
default "ehl_crb_sbl" if BOARD_EHL_CRB_SBL
|
2020-12-11 02:10:54 +08:00
|
|
|
default "ehl_crb"
|
|
|
|
|
|
|
|
config BUILD_OUTPUT_STRIPPED
|
|
|
|
default y
|
|
|
|
|
|
|
|
config MP_NUM_CPUS
|
|
|
|
default 2
|
|
|
|
|
2020-12-23 02:24:35 +08:00
|
|
|
if BOARD_EHL_CRB_SBL
|
|
|
|
config SHELL_BACKEND_SERIAL_INTERRUPT_DRIVEN
|
|
|
|
depends on SHELL_BACKEND_SERIAL
|
|
|
|
default n
|
2021-05-07 08:57:51 +08:00
|
|
|
endif
|
|
|
|
|
|
|
|
config HPET_TIMER
|
|
|
|
default y
|
2020-12-23 02:24:35 +08:00
|
|
|
|
2021-05-07 08:57:51 +08:00
|
|
|
# TSC on this board is 1.9 GHz, HPET and APIC are 19.2 MHz
|
|
|
|
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_EHL_CRB || BOARD_EHL_CRB_SBL
|