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