1# SPDX-License-Identifier: Apache-2.0
2# Copyright (c) 2018 Intel Corporation
3
4if BOARD_UP_SQUARED
5
6config MP_MAX_NUM_CPUS
7	default 2 if BOARD_UP_SQUARED
8
9config BUILD_OUTPUT_STRIPPED
10	default y
11
12# TSC on this board is 1.5936 GHz, HPET and APIC are 19.2 MHz
13config SYS_CLOCK_HW_CYCLES_PER_SEC
14	default 1593600000 if APIC_TSC_DEADLINE_TIMER
15	default 1593600000 if APIC_TIMER_TSC
16	default 19200000
17
18if APIC_TIMER
19config APIC_TIMER_IRQ
20	default 24
21endif
22if APIC_TIMER_TSC
23config APIC_TIMER_TSC_M
24	default 3
25config APIC_TIMER_TSC_N
26	default 249
27endif
28
29endif # BOARD_UP_SQUARED
30