1 /** @file
2   Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>
3 
4   SPDX-License-Identifier: BSD-2-Clause-Patent
5 **/
6 
7 #ifndef _PEI_X58Ich10_BOARD_INIT_LIB_H_
8 #define _PEI_X58Ich10_BOARD_INIT_LIB_H_
9 
10 #include <Uefi.h>
11 #include <Library/BaseLib.h>
12 #include <Library/PcdLib.h>
13 #include <Library/MemoryAllocationLib.h>
14 #include <Library/DebugLib.h>
15 
16 #endif
17