2019-04-11 17:51:22 +02:00
|
|
|
/** @file
|
|
|
|
The header file of bootloader support DXE.
|
|
|
|
|
2021-04-01 11:08:35 +02:00
|
|
|
Copyright (c) 2021, Intel Corporation. All rights reserved.<BR>
|
2019-04-11 17:51:22 +02:00
|
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
|
|
|
|
|
|
**/
|
|
|
|
#ifndef __DXE_BOOTLOADER_SUPPORT_H__
|
|
|
|
#define __DXE_BOOTLOADER_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/SmBios.h>
|
|
|
|
#include <Guid/AcpiBoardInfoGuid.h>
|
|
|
|
#include <Guid/GraphicsInfoHob.h>
|
|
|
|
|
|
|
|
#endif
|