# - 1 = a Linux kernel with ATAG support\r
# - 2 = a Linux kernel with FDT support\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootType|0|UINT32|0x00000010\r
- gArmPlatformTokenSpaceGuid.PcdFdtDevicePath|L""|VOID*|0x00000011\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