- # PcdDefaultBootType define the type of the binary pointed by PcdDefaultBootDevicePath:\r
- # - 0 = an EFI application\r
- # - 1 = a Linux kernel with ATAG support\r
- # - 2 = a Linux kernel with FDT support\r
- gArmPlatformTokenSpaceGuid.PcdDefaultBootType|0|UINT32|0x00000010\r
-\r
- ## Timeout value for displaying progressing bar in before boot OS.\r
- # According to UEFI 2.0 spec, the default TimeOut should be 0xffff.\r
- gArmPlatformTokenSpaceGuid.PcdPlatformBootTimeOut|0xffff|UINT16|0x0000001A\r