## @file
#  Component description file for the X58 SiPkg PEI drivers.
#
# Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>
#
# SPDX-License-Identifier: BSD-2-Clause-Patent
#
##

INF  UefiCpuPkg/CpuMpPei/CpuMpPei.inf
