1## @file
2#  Component description file for the Simics X58 SiPkg DXE drivers.
3#
4# Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>
5#
6# SPDX-License-Identifier: BSD-2-Clause-Patent
7#
8##
9
10!if gMinPlatformPkgTokenSpaceGuid.PcdBootToShellOnly == FALSE
11  INF  $(SKT_PKG)/Smm/Access/SmmAccess2Dxe.inf
12  INF  UefiCpuPkg/PiSmmCpuDxeSmm/PiSmmCpuDxeSmm.inf
13!endif
14INF  MdeModulePkg/Bus/Pci/PciHostBridgeDxe/PciHostBridgeDxe.inf
15