#\r
gArmPlatformTokenSpaceGuid.PcdDefaultConOutPaths|L"VenHw(D3987D4B-971A-435F-8CAF-4967EB627241)/Uart(38400,8,N,1)/VenVt100()"\r
gArmPlatformTokenSpaceGuid.PcdDefaultConInPaths|L"VenHw(D3987D4B-971A-435F-8CAF-4967EB627241)/Uart(38400,8,N,1)/VenVt100()"\r
- gArmPlatformTokenSpaceGuid.PcdPlatformBootTimeOut|3\r
+ gEfiMdePkgTokenSpaceGuid.PcdPlatformBootTimeOut|3\r
\r
#\r
# ARM Virtual Architectural Timer -- fetch frequency from QEMU (TCG) or KVM\r
gArmVirtualizationTokenSpaceGuid.PcdFwCfgSelectorAddress|0x0\r
gArmVirtualizationTokenSpaceGuid.PcdFwCfgDataAddress|0x0\r
\r
- gEfiMdePkgTokenSpaceGuid.PcdPlatformBootTimeOut|3\r
-\r
#\r
# Set video resolution for boot options and for text setup.\r
# PlatformDxe can set the former at runtime.\r