1# Elkhart Lake SoC configuration options 2 3# Copyright (c) 2018-2020 Intel Corporation 4# Copyright (c) 2014-2015 Wind River Systems, Inc. 5# SPDX-License-Identifier: Apache-2.0 6 7if SOC_ELKHART_LAKE 8 9config PCIE_MMIO_CFG 10 default y 11 12config X86_DYNAMIC_IRQ_STUBS 13 default 16 14 depends on DYNAMIC_INTERRUPTS 15 16endif # SOC_ELKHART_LAKE 17