blob: 87d1f169ec5981edd8cc4ae28aa243e3e8f99f9e [file] [log] [blame]
# SPDX-License-Identifier: Apache-2.0
if BOARD_UP_SQUARED
config BOARD
default "up_squared"
config MP_MAX_NUM_CPUS
default 2 if BOARD_UP_SQUARED
config BUILD_OUTPUT_STRIPPED
default y
config APIC_TSC_DEADLINE_TIMER
default y
# TSC on this board is 1.5936 GHz, HPET and APIC are 19.2 MHz
config SYS_CLOCK_HW_CYCLES_PER_SEC
default 1593600000 if APIC_TSC_DEADLINE_TIMER
default 1593600000 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_UP_SQUARED