| #ifndef _DUET_DXEIPL_H_ | |
| #define _DUET_DXEIPL_H_ | |
| #include "FrameworkPei.h" | |
| #include "FrameworkModulePei.h" | |
| #include "EfiLdrHandoff.h" | |
| #include "EfiFlashMap.h" | |
| #include <Guid/MemoryTypeInformation.h> | |
| #include <Guid/PciExpressBaseAddress.h> | |
| #include <Guid/AcpiDescription.h> | |
| #include <Guid/PeiPeCoffLoader.h> | |
| #include <Guid/MemoryAllocationHob.h> | |
| #include <Guid/Acpi.h> | |
| #include <Guid/SmBios.h> | |
| #include <Guid/Mps.h> | |
| #include <Guid/FlashMapHob.h> | |
| #include <Guid/SystemNvDataGuid.h> | |
| #include <Protocol/Decompress.h> | |
| #include <Protocol/StatusCode.h> | |
| #include <Protocol/FirmwareVolumeBlock.h> | |
| #include <Library/BaseLib.h> | |
| #include <Library/BaseMemoryLib.h> | |
| #include <Library/ReportStatusCodeLib.h> | |
| #include <Library/PrintLib.h> | |
| #include <VariableFormat.h> | |
| #include <CpuIA32.h> | |
| #endif // _DUET_DXEIPL_H_ | |