CorebootModulePkg/CorebootModulePkg/CbSupportPei/CbSupportPei.h

   1 /** @file
   2   The header file of Coreboot Support PEIM.
   3
   4 Copyright (c) 2014, Intel Corporation. All rights reserved.<BR>
   5 This program and the accompanying materials
   6 are licensed and made available under the terms and conditions of the BSD License
   7 which accompanies this distribution.  The full text of the license may be found at
   8 http://opensource.org/licenses/bsd-license.php
   9
  10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12
  13 **/
  14
  15
  16 #ifndef __PEI_COREBOOT_SUPPORT_H__
  17 #define __PEI_COREBOOT_SUPPORT_H__
  18
  19 #include <PiPei.h>
  20
  21 #include <Library/PeimEntryPoint.h>
  22 #include <Library/PeiServicesLib.h>
  23 #include <Library/BaseLib.h>
  24 #include <Library/DebugLib.h>
  25 #include <Library/BaseMemoryLib.h>
  26 #include <Library/HobLib.h>
  27 #include <Library/PcdLib.h>
  28 #include <Library/CbParseLib.h>
  29 #include <Library/MtrrLib.h>
  30
  31 #include <Guid/SmramMemoryReserve.h>
  32 #include <Guid/MemoryTypeInformation.h>
  33 #include <Guid/FirmwareFileSystem2.h>
  34 #include <Guid/FrameBufferInfoGuid.h>
  35 #include <Guid/SystemTableInfoGuid.h>
  36 #include <Guid/AcpiBoardInfoGuid.h>
  37
  38 #include <Ppi/MasterBootMode.h>
  39
  40 #endif