blob: cc9e3882ec45d6ecaedb3c5d1c3ff37865d847bc [file] [log] [blame]
# Copyright (c) 2023 Intel Corporation
# SPDX-License-Identifier: Apache-2.0
if BOARD_INTEL_ADL_CRB || BOARD_INTEL_ADL_RVP || BOARD_UP_SQUARED_PRO_7000
config BOARD
default "intel_adl_crb" if BOARD_INTEL_ADL_CRB
default "intel_adl_rvp" if BOARD_INTEL_ADL_RVP
default "up_squared_pro_7000" if BOARD_UP_SQUARED_PRO_7000
config BUILD_OUTPUT_STRIPPED
default y
config MP_MAX_NUM_CPUS
default 2
# 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
config ACPI
default y
if ACPI
config HEAP_MEM_POOL_SIZE
default 64000000
config MAIN_STACK_SIZE
default 320000
config ACPI_PRT_BUS_NAME
default "_SB.PC00"
if SHELL
config SHELL_STACK_SIZE
default 320000
endif # SHELL
endif # ACPI
endif # BOARD_INTEL_ADL_CRB || BOARD_INTEL_ADL_RVP || BOARD_UP_SQUARED_PRO_7000