# Embedded Package\r
#\r
#\r
-# Copyright (c) 2007 - 2015, Intel Corporation. All rights reserved.<BR>\r
+# Copyright (c) 2007 - 2018, Intel Corporation. All rights reserved.<BR>\r
# Copyright (c) 2012-2015, ARM Ltd. All rights reserved.<BR>\r
# Copyright (c) 2016, Linaro Ltd. All rights reserved.<BR>\r
#\r
PLATFORM_VERSION = 0.1\r
DSC_SPECIFICATION = 0x00010005\r
OUTPUT_DIRECTORY = Build/Embedded\r
- SUPPORTED_ARCHITECTURES = IA32|X64|IPF|ARM|AARCH64\r
+ SUPPORTED_ARCHITECTURES = IA32|X64|ARM|AARCH64\r
BUILD_TARGETS = DEBUG|RELEASE|NOOPT\r
SKUID_IDENTIFIER = DEFAULT\r
\r
gEmbeddedTokenSpaceGuid.PcdTimerVector|7\r
gEmbeddedTokenSpaceGuid.PcdTimerPeriod|100000\r
\r
-[PcdsFixedAtBuild.IPF]\r
- gEfiMdePkgTokenSpaceGuid.PcdIoBlockBaseAddressForIpf|0x0ffffc000000\r
-\r
-#\r
-# This makes it so you can source level debug with NT32. VC++ debugger limitiation!\r
-#\r
-#[BuildOptions]\r
-# DEBUG_*_IA32_DLINK_FLAGS = /EXPORT:InitializeDriver=$(IMAGE_ENTRY_POINT) /ALIGN:4096 /SUBSYSTEM:CONSOLE\r
-# RELEASE_*_IA32_DLINK_FLAGS = /ALIGN:4096\r
-# *_*_IA32_CC_FLAGS = /D EFI_SPECIFICATION_VERSION=0x0002000A /D TIANO_RELEASE_VERSION=0x00080006\r
-\r
[BuildOptions]\r
RVCT:*_*_ARM_PLATFORM_FLAGS == --cpu=7-A.security\r
*_*_*_CC_FLAGS = -DDISABLE_NEW_DEPRECATED_INTERFACES\r
EmbeddedPkg/Library/CoherentDmaLib/CoherentDmaLib.inf\r
EmbeddedPkg/Library/NonCoherentDmaLib/NonCoherentDmaLib.inf\r
EmbeddedPkg/Library/DxeDtPlatformDtbLoaderLibDefault/DxeDtPlatformDtbLoaderLibDefault.inf\r
+ EmbeddedPkg/Library/VirtualRealTimeClockLib/VirtualRealTimeClockLib.inf\r
\r
EmbeddedPkg/EmbeddedMonotonicCounter/EmbeddedMonotonicCounter.inf\r
EmbeddedPkg/RealTimeClockRuntimeDxe/RealTimeClockRuntimeDxe.inf\r
EmbeddedPkg/Library/AcpiLib/AcpiLib.inf\r
EmbeddedPkg/Library/DebugAgentTimerLibNull/DebugAgentTimerLibNull.inf\r
EmbeddedPkg/Library/FdtLib/FdtLib.inf\r
- EmbeddedPkg/Library/GdbDebugAgent/GdbDebugAgent.inf\r
EmbeddedPkg/Library/PrePiHobLib/PrePiHobLib.inf\r
EmbeddedPkg/Library/PrePiMemoryAllocationLib/PrePiMemoryAllocationLib.inf\r
\r
EmbeddedPkg/Drivers/AndroidFastbootTransportUsbDxe/FastbootTransportUsbDxe.inf\r
EmbeddedPkg/Drivers/AndroidFastbootTransportTcpDxe/FastbootTransportTcpDxe.inf\r
\r
-[Components.IA32, Components.X64, Components.IPF, Components.ARM]\r
+[Components.IA32, Components.X64, Components.ARM]\r
EmbeddedPkg/GdbStub/GdbStub.inf\r