CorebootModulePkg/CbSupportDxe/CbSupportDxe.h

   1 /** @file
   2   The header file of Coreboot Support DXE.
   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 #ifndef __DXE_COREBOOT_SUPPORT_H__
  15 #define __DXE_COREBOOT_SUPPORT_H__
  16
  17 #include <PiDxe.h>
  18
  19 #include <Library/UefiDriverEntryPoint.h>
  20 #include <Library/UefiBootServicesTableLib.h>
  21 #include <Library/DxeServicesTableLib.h>
  22 #include <Library/DebugLib.h>
  23 #include <Library/BaseMemoryLib.h>
  24 #include <Library/UefiLib.h>
  25 #include <Library/IoLib.h>
  26 #include <Library/HobLib.h>
  27
  28 #include <Guid/Acpi.h>
  29 #include <Guid/SmBios.h>
  30 #include <Guid/SystemTableInfoGuid.h>
  31 #include <Guid/AcpiBoardInfoGuid.h>
  32 #include <Guid/FrameBufferInfoGuid.h>
  33
  34 #include <IndustryStandard/Acpi.h>
  35
  36 #endif