2009-06-07 03:13:55 +02:00
|
|
|
|
2007-12-21 09:48:38 +01:00
|
|
|
#ifndef _DUET_DXEIPL_H_
|
|
|
|
#define _DUET_DXEIPL_H_
|
|
|
|
|
2009-06-07 03:13:55 +02:00
|
|
|
#include <FrameworkPei.h>
|
2007-12-21 09:48:38 +01:00
|
|
|
|
|
|
|
#include "EfiLdrHandoff.h"
|
|
|
|
#include "EfiFlashMap.h"
|
|
|
|
|
|
|
|
#include <Guid/MemoryTypeInformation.h>
|
|
|
|
#include <Guid/PciExpressBaseAddress.h>
|
|
|
|
#include <Guid/AcpiDescription.h>
|
2009-03-05 10:16:13 +01:00
|
|
|
|
2007-12-21 09:48:38 +01:00
|
|
|
#include <Guid/MemoryAllocationHob.h>
|
|
|
|
#include <Guid/Acpi.h>
|
2008-08-13 06:53:33 +02:00
|
|
|
#include <Guid/SmBios.h>
|
2007-12-21 09:48:38 +01:00
|
|
|
#include <Guid/Mps.h>
|
|
|
|
#include <Guid/FlashMapHob.h>
|
|
|
|
#include <Guid/SystemNvDataGuid.h>
|
2009-02-27 06:35:08 +01:00
|
|
|
#include <Guid/VariableFormat.h>
|
2009-06-07 03:13:55 +02:00
|
|
|
#include <Guid/StatusCodeDataTypeDebug.h>
|
2007-12-21 09:48:38 +01:00
|
|
|
|
|
|
|
#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>
|
2009-02-03 01:48:56 +01:00
|
|
|
#include <Library/IoLib.h>
|
2007-12-21 09:48:38 +01:00
|
|
|
|
|
|
|
#include <CpuIA32.h>
|
|
|
|
|
2008-04-18 06:14:35 +02:00
|
|
|
#endif // _DUET_DXEIPL_H_
|
|
|
|
|