{0xA0000000, 0xDDFA0000, EFI_RESOURCE_SYSTEM_MEMORY,\r
SYSTEM_MEMORY_RESOURCE_ATTR_CAPABILITIES,\r
ARM_MEMORY_REGION_ATTRIBUTE_WRITE_BACK, AddMem, EfiConventionalMemory},\r
+#else\r
+#ifdef MEMORY_8G\r
+ {0xA0000000, 0xE0000000, EFI_RESOURCE_SYSTEM_MEMORY,\r
+ SYSTEM_MEMORY_RESOURCE_ATTR_CAPABILITIES,\r
+ ARM_MEMORY_REGION_ATTRIBUTE_WRITE_BACK, AddMem, EfiConventionalMemory},\r
+ {0x180000000,0xFC8A0000, EFI_RESOURCE_SYSTEM_MEMORY,\r
+ SYSTEM_MEMORY_RESOURCE_ATTR_CAPABILITIES,\r
+ ARM_MEMORY_REGION_ATTRIBUTE_WRITE_BACK, AddMem, EfiConventionalMemory},\r
#else\r
{0xA0000000, 0xE0000000, EFI_RESOURCE_SYSTEM_MEMORY,\r
SYSTEM_MEMORY_RESOURCE_ATTR_CAPABILITIES,\r
{0x1D7400000, 0x8000000, EFI_RESOURCE_SYSTEM_MEMORY,\r
SYSTEM_MEMORY_RESOURCE_ATTR_CAPABILITIES,\r
ARM_MEMORY_REGION_ATTRIBUTE_WRITE_BACK, AddMem, EfiConventionalMemory},\r
+#endif\r
#endif\r
\r
/* Other */\r