1# Copyright (c) 2025 Intel Corporation 2# SPDX-License-Identifier: Apache-2.0 3 4 5config BUILD_OUTPUT_STRIPPED 6 default y 7 8config MP_MAX_NUM_CPUS 9 default 2 10 11# TSC on this board is 2.9 GHz, HPET is 19.2 MHz 12config SYS_CLOCK_HW_CYCLES_PER_SEC 13 default 2900000000 if APIC_TSC_DEADLINE_TIMER 14 default 2900000000 if APIC_TIMER_TSC 15 default 19200000 16 17if APIC_TIMER 18 19config APIC_TIMER_IRQ 20 default 24 21 22endif 23 24if APIC_TIMER_TSC 25 26config APIC_TIMER_TSC_M 27 default 3 28 29config APIC_TIMER_TSC_N 30 default 249 31 32endif 33 34config ACPI 35 default y 36 37if ACPI 38 39config HEAP_MEM_POOL_ADD_SIZE_ACPI 40 default 64000000 41 42config MAIN_STACK_SIZE 43 default 320000 44 45if SHELL 46 47config SHELL_STACK_SIZE 48 default 320000 49 50endif # SHELL 51 52endif # ACPI 53 54if DMA 55 56config DMA_64BIT 57 default y 58 59config DMA_DW_HW_LLI 60 default n 61 62config DMA_DW_CHANNEL_COUNT 63 default 2 64 65endif 66 67config UART_NS16550_INTEL_LPSS_DMA 68 default y if BOARD_INTEL_BTL_S_CRB 69 70config HAS_COVERAGE_SUPPORT 71 default y 72