<Filename>Library/PeiResourcePublicationLib/PeiResourcePublicationLib.msa</Filename>\r
<Filename>Library/PeiServicesTablePointerLib/PeiServicesTablePointerLib.msa</Filename>\r
<Filename>Library/PeiServicesTablePointerLibMm7/PeiServicesTablePointerLibMm7.msa</Filename>\r
+ <Filename>Library/PeiServicesTablePointerLibKr1/PeiServicesTablePointerLibKr1.msa</Filename>\r
<Filename>Library/UefiBootServicesTableLib/UefiBootServicesTableLib.msa</Filename>\r
<Filename>Library/UefiDebugLibConOut/UefiDebugLibConOut.msa</Filename>\r
<Filename>Library/UefiDebugLibStdErr/UefiDebugLibStdErr.msa</Filename>\r
</Entry>\r
<Entry Name="Runtime">\r
<C_Name>gEfiRuntimeArchProtocolGuid</C_Name>\r
- <GuidValue>96D08253-8483-11D4-BCF1-0080C73C8881</GuidValue>\r
+ <GuidValue>b7dfb4e1-052f-449f-87be-9818fc91b733</GuidValue>\r
<HelpText/>\r
</Entry>\r
<Entry Name="Security">\r
<DefaultValue>0xE0000000</DefaultValue>\r
<HelpText>The base address of PCI Express MMIO window.</HelpText>\r
</PcdEntry>\r
+ <PcdEntry SupArchList="IPF">\r
+ <C_Name>PcdIoBlockBaseAddressForIpf</C_Name>\r
+ <Token>0x0000000c</Token>\r
+ <TokenSpaceGuidCName>gEfiMdePkgTokenSpaceGuid</TokenSpaceGuidCName>\r
+ <DatumType>UINT64</DatumType>\r
+ <ValidUsage>FIXED_AT_BUILD</ValidUsage>\r
+ <DefaultValue>0x0ffffc000000</DefaultValue>\r
+ <HelpText>The base address of IPF IO Block</HelpText>\r
+ </PcdEntry>\r
<PcdEntry>\r
<C_Name>PcdFSBClock</C_Name>\r
<Token>0x0000000c</Token>\r