123456789101112131415161718192021222324252627282930 |
- /** @file
- The header file of Coreboot Support DXE.
- Copyright (c) 2014, Intel Corporation. All rights reserved.<BR>
- SPDX-License-Identifier: BSD-2-Clause-Patent
- **/
- #ifndef __DXE_COREBOOT_SUPPORT_H__
- #define __DXE_COREBOOT_SUPPORT_H__
- #include <PiDxe.h>
- #include <Library/UefiDriverEntryPoint.h>
- #include <Library/UefiBootServicesTableLib.h>
- #include <Library/DxeServicesTableLib.h>
- #include <Library/DebugLib.h>
- #include <Library/BaseMemoryLib.h>
- #include <Library/UefiLib.h>
- #include <Library/IoLib.h>
- #include <Library/HobLib.h>
- #include <Guid/Acpi.h>
- #include <Guid/SmBios.h>
- #include <Guid/SystemTableInfoGuid.h>
- #include <Guid/AcpiBoardInfoGuid.h>
- #include <Guid/FrameBufferInfoGuid.h>
- #include <IndustryStandard/Acpi.h>
- #endif
|