+/** @file\r
+\r
+ Root include file for DXE Core\r
+\r
+ The DXE Core has its own module type since its entry point definition is \r
+ unique. This module type should only be used by the DXE core. The build \r
+ infrastructure must set EFI_SPECIFICATION_VERSION before including this \r
+ file. To support EDK II/UEFI2.0 set EFI_SPECIFIATION_VERSION to 0x00020000. To \r
+ support EDK/EFI 1.10 set EFI_SPECIFIATION_VERSION to 0x00010010. \r
+ EDK_RELEASE_VERSION must be set to a non zero value. \r
+ EFI_SPECIFIATION_VERSION and EDK_RELEASE_VERSION are set automatically\r
+ by the build infrastructure for every module.\r
+\r
+\r
+Copyright (c) 2006, Intel Corporation\r
+All rights reserved. This program and the accompanying materials\r
+are licensed and made available under the terms and conditions of the BSD License\r
+which accompanies this distribution. The full text of the license may be found at\r
+http://opensource.org/licenses/bsd-license.php\r
+\r
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+**/\r
+\r
+\r
+#ifndef __DXE_CORE_H__\r
+#define __DXE_CORE_H__\r
+\r
+\r
+//\r
+// Check to make sure EFI_SPECIFICATION_VERSION and EDK_RELEASE_VERSION are defined.\r
+// also check for legal combinations\r
+//\r
+#if !defined(EFI_SPECIFICATION_VERSION)\r
+ #error EFI_SPECIFICATION_VERSION not defined\r
+#elif !defined(EDK_RELEASE_VERSION)\r
+ #error EDK_RELEASE_VERSION not defined\r
+#elif (EDK_RELEASE_VERSION == 0)\r
+ #error EDK_RELEASE_VERSION can not be zero\r
+#endif\r
+\r
+#include <Common/UefiBaseTypes.h>\r
+#include <Dxe/DxeCis.h>\r
+\r
+#if defined(MDE_CPU_IPF)\r
+#include <SalApi.h>\r
+#include <PalApi.h>\r
+#endif\r
+\r
+#endif\r