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