SktPkgPei.dsc 311 B

1234567891011121314
  1. ## @file
  2. # Component description file for the X58 SiPkg PEI 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. # SEC Phase modules
  11. #
  12. UefiCpuPkg/ResetVector/Vtf0/Vtf0.inf
  13. UefiCpuPkg/CpuMpPei/CpuMpPei.inf