/** @file
  BOARD INIT DXE Driver.

  @copyright
  Copyright 2014 - 2021 Intel Corporation. <BR>

  SPDX-License-Identifier: BSD-2-Clause-Patent
**/

#ifndef _BOARD_INIT_DXE_H_
#define _BOARD_INIT_DXE_H_

#include <Base.h>
#include <Uefi.h>
#include <PiDxe.h>  // For Hob

#include <Protocol/UbaCfgDb.h>
#include <Protocol/UbaMakerProtocol.h>

#include <Library/BaseLib.h>
#include <Library/DebugLib.h>
#include <Library/BaseMemoryLib.h>
#include <Library/MemoryAllocationLib.h>
#include <Library/HobLib.h>
#include <Library/UefiDriverEntryPoint.h>
#include <Library/UefiBootServicesTableLib.h>

#include <Platform.h>

#endif // _BOARD_INIT_DXE_H_
