/** @file
|
Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
**/
|
|
#ifndef _PEI_X58Ich10_BOARD_INIT_LIB_H_
|
#define _PEI_X58Ich10_BOARD_INIT_LIB_H_
|
|
#include <Uefi.h>
|
#include <Library/BaseLib.h>
|
#include <Library/PcdLib.h>
|
#include <Library/MemoryAllocationLib.h>
|
#include <Library/DebugLib.h>
|
|
#endif
|
