1# Copyright (c) 2020-2024 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 11if BOARD_INTEL_EHL_CRB_ELKHART_LAKE_SBL 12config SHELL_BACKEND_SERIAL_INTERRUPT_DRIVEN 13 depends on SHELL_BACKEND_SERIAL 14 default n 15endif 16 17config HEAP_MEM_POOL_ADD_SIZE_ACPI 18 default 2097152 19 depends on ACPI 20 21# TSC on this board is 1.9 GHz, HPET and APIC are 19.2 MHz 22config SYS_CLOCK_HW_CYCLES_PER_SEC 23 default 1900000000 if APIC_TSC_DEADLINE_TIMER 24 default 1900000000 if APIC_TIMER_TSC 25 default 19200000 26 27if APIC_TIMER 28config APIC_TIMER_IRQ 29 default 24 30endif 31if APIC_TIMER_TSC 32config APIC_TIMER_TSC_M 33 default 3 34config APIC_TIMER_TSC_N 35 default 249 36endif 37 38if BOARD_INTEL_EHL_CRB_ELKHART_LAKE 39 config HAS_COVERAGE_SUPPORT 40 default y 41endif 42
