## @file
|
# Component description file for the Simics X58 SiPkg DXE drivers.
|
#
|
# Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>
|
#
|
# SPDX-License-Identifier: BSD-2-Clause-Patent
|
#
|
##
|
|
!if gMinPlatformPkgTokenSpaceGuid.PcdBootToShellOnly == FALSE
|
INF $(SKT_PKG)/Smm/Access/SmmAccess2Dxe.inf
|
INF UefiCpuPkg/PiSmmCpuDxeSmm/PiSmmCpuDxeSmm.inf
|
!endif
|
INF MdeModulePkg/Bus/Pci/PciHostBridgeDxe/PciHostBridgeDxe.inf
|
