## @file # # Copyright (c) 2006 - 2011, Intel Corporation. All rights reserved.
# This program and the accompanying materials # are licensed and made available under the terms and conditions of the BSD License # which accompanies this distribution. The full text of the license may be found at # http://opensource.org/licenses/bsd-license.php # # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. # # Module Name: # DxeIpl.inf # # Abstract: # ## [Defines] INF_VERSION = 0x00010005 BASE_NAME = DxeIpl FILE_GUID = 2119BBD7-9432-4f47-B5E2-5C4EA31B6BDC MODULE_TYPE = DXE_DRIVER VERSION_STRING = 1.0 [Packages] CloverPkg.dec MdePkg/MdePkg.dec MdeModulePkg/MdeModulePkg.dec IntelFrameworkPkg/IntelFrameworkPkg.dec [LibraryClasses] BaseLib BaseMemoryLib PrintLib ReportStatusCodeLib IoLib [Guids] gEfiVariableGuid gDxeCoreFileNameGuid gLdrMemoryDescriptorGuid [Sources] DxeIpl.h DxeInit.c LegacyTable.c LegacyTable.h # PpisNeededByDxeCore.c PpisNeededByDxeCore.h HobGeneration.c HobGeneration.h # SerialStatusCode.c SerialStatusCode.h Debug.c Debug.h [Sources.x64] X64/EnterDxeCore.c X64/Paging.c X64/VirtualMemory.h [Sources.Ia32] Ia32/EnterDxeCore.c Ia32/Paging.c Ia32/VirtualMemory.h [Depex] TRUE [BuildOptions] # GCC:*_*_X64_CC_FLAGS = $(BUILD_OPTIONS) -march=core2 -mtune=core2 -m64 -Os $(INC) # GCC:*_*_X64_AS_FLAGS = $(BUILD_OPTIONS) -march=core2 -mtune=core2 --64 $(INC) # GCC:*_*_IA32_CC_FLAGS = $(BUILD_OPTIONS) -march=i386 -mtune=i386 -m32 -Os $(INC) # GCC:*_*_IA32_AS_FLAGS = $(BUILD_OPTIONS) -march=i386 -mtune=i386 --32 $(INC) XCODE:*_*_*_CC_FLAGS = -Os -fno-lto -UUSING_LTO -DMDEPKG_NDEBUG GCC:*_*_*_CC_FLAGS = -O0 -DMDEPKG_NDEBUG MSFT:*_*_*_CC_FLAGS = /D MDEPKG_NDEBUG