gEfiMdeModulePkgTokenSpaceGuid.PcdHardwareErrorRecordLevel|1|UINT16|0x40000002\r
\r
[PcdsFixedAtBuild.IA32]\r
+ ## Default EFI boot path name for IA32 architecture, this path is relative to \r
+ # EFI boot disk.\r
gEfiMdeModulePkgTokenSpaceGuid.PcdDefaultBootFileName|L"\\EFI\\BOOT\\BOOTIA32.EFI"|VOID*|0x40000003\r
\r
[PcdsFixedAtBuild.X64]\r
+ ## Default EFI boot path name for X64 architecture, this path is relative to \r
+ # EFI boot disk.\r
gEfiMdeModulePkgTokenSpaceGuid.PcdDefaultBootFileName|L"\\EFI\\BOOT\\BOOTX64.EFI"|VOID*|0x40000003\r
\r
[PcdsFixedAtBuild.IPF]\r
+ ## Default EFI boot path name for IPF architecture, this path is relative to \r
+ # EFI boot disk.\r
gEfiMdeModulePkgTokenSpaceGuid.PcdDefaultBootFileName|L"\\EFI\\BOOT\\BOOTIA64.EFI"|VOID*|0x40000003\r
\r
[PcdsFixedAtBuild.EBC]\r
+ ## Default EFI boot path name for EBC architecture, this path is relative to \r
+ # EFI boot disk.\r
gEfiMdeModulePkgTokenSpaceGuid.PcdDefaultBootFileName|L"\\EFI\\BOOT\\BOOTEBC.EFI"|VOID*|0x40000003\r
\r
[PcdsDynamic.common]\r