gArmTokenSpaceGuid.PcdArmMachineType|0|UINT32|0x0000001E\r
# The compressed Linux kernel is expected to be under 128MB from the beginning of the System Memory\r
gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset|0x08000000|UINT32|0x0000001F\r
- # The Linux ATAGs are expected to be under 0x4000 (16KB) from the beginning of the System Memory\r
- gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset|0x4000|UINT32|0x00000020\r
\r
#\r
# ARM Architectural Timer\r
[PcdsFixedAtBuild.ARM]\r
# By default we do not do a transition to non-secure mode\r
gArmTokenSpaceGuid.PcdArmNonSecModeTransition|0x0|UINT32|0x0000003E\r
+\r
+ # The Linux ATAGs are expected to be under 0x4000 (16KB) from the beginning of the System Memory\r
+ gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset|0x4000|UINT32|0x00000020\r
+\r
# If the fixed FDT address is not available, then it should be loaded below the kernel.\r
# The recommendation from the Linux kernel is to have the FDT below 16KB.\r
# (see the kernel doc: Documentation/arm/Booting)\r
gArmTokenSpaceGuid.PcdArmLinuxFdtMaxOffset\r
gArmTokenSpaceGuid.PcdArmLinuxFdtAlignment\r
gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset\r
+\r
+[FixedPcd.ARM]\r
gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset\r
- \r
+\r
[Depex]\r
TRUE\r