# SPDX-License-Identifier: MIT
branch x86

# Core configuration settings for x86_64
include cfg/x86_64.scc nopatch


include intel-x86.scc
kconf hardware intel-x86-64.cfg
include features/x2apic/x2apic.scc
include features/ixgbe/ixgbe-x86-64.scc
include features/intel-vmd/intel-vmd.scc