blob: 1369439585b807d21e87483c328a12ff24509836 [file] [log] [blame]
# Copyright (c) 2025 Intel Corporation
# SPDX-License-Identifier: Apache-2.0
config BUILD_OUTPUT_STRIPPED
default y
config MP_MAX_NUM_CPUS
default 2
# TSC on this board is 2.9 GHz, HPET is 19.2 MHz
config SYS_CLOCK_HW_CYCLES_PER_SEC
default 3300000000 if APIC_TSC_DEADLINE_TIMER && BOARD_REVISION="P"
default 3300000000 if APIC_TIMER_TSC && BOARD_REVISION="P"
default 2900000000 if APIC_TSC_DEADLINE_TIMER
default 2900000000 if APIC_TIMER_TSC
default 19200000
if APIC_TIMER
config APIC_TIMER_IRQ
default 24
endif
if APIC_TIMER_TSC
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_ADD_SIZE_ACPI
default 64000000
config MAIN_STACK_SIZE
default 320000
if SHELL
config SHELL_STACK_SIZE
default 320000
endif # SHELL
endif # ACPI
if DMA
config DMA_64BIT
default y
config DMA_DW_HW_LLI
default n
config DMA_DW_CHANNEL_COUNT
default 2
endif
config UART_NS16550_INTEL_LPSS_DMA
default y if BOARD_INTEL_BTL_S_CRB
config HAS_COVERAGE_SUPPORT
default y