CbSupportDxe.h 772 B

123456789101112131415161718192021222324252627282930
  1. /** @file
  2. The header file of Coreboot Support DXE.
  3. Copyright (c) 2014, Intel Corporation. All rights reserved.<BR>
  4. SPDX-License-Identifier: BSD-2-Clause-Patent
  5. **/
  6. #ifndef __DXE_COREBOOT_SUPPORT_H__
  7. #define __DXE_COREBOOT_SUPPORT_H__
  8. #include <PiDxe.h>
  9. #include <Library/UefiDriverEntryPoint.h>
  10. #include <Library/UefiBootServicesTableLib.h>
  11. #include <Library/DxeServicesTableLib.h>
  12. #include <Library/DebugLib.h>
  13. #include <Library/BaseMemoryLib.h>
  14. #include <Library/UefiLib.h>
  15. #include <Library/IoLib.h>
  16. #include <Library/HobLib.h>
  17. #include <Guid/Acpi.h>
  18. #include <Guid/SmBios.h>
  19. #include <Guid/SystemTableInfoGuid.h>
  20. #include <Guid/AcpiBoardInfoGuid.h>
  21. #include <Guid/FrameBufferInfoGuid.h>
  22. #include <IndustryStandard/Acpi.h>
  23. #endif