--- /dev/null
+/** @file\r
+* Header defining platform constants (Base addresses, sizes, flags)\r
+*\r
+* Copyright (c) 2011, ARM Limited. All rights reserved.\r
+* Copyright (c) 2014, Linaro Limited\r
+*\r
+* This program and the accompanying materials\r
+* are licensed and made available under the terms and conditions of the BSD License\r
+* which accompanies this distribution. The full text of the license may be found at\r
+* http://opensource.org/licenses/bsd-license.php\r
+*\r
+* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+*\r
+**/\r
+\r
+#ifndef __PLATFORM_H__\r
+#define __PLATFORM_H__\r
+\r
+//\r
+// We don't care about this value, but the PL031 driver depends on the macro\r
+// to exist: it will pass it on to our ArmPlatformSysConfigLib:ConfigGet()\r
+// function, which just returns EFI_UNSUPPORTED.\r
+//\r
+#define SYS_CFG_RTC 0x0\r
+\r
+#define QEMU_NOR_BLOCK_SIZE SIZE_256KB\r
+#define QEMU_NOR0_BASE 0x0\r
+#define QEMU_NOR0_SIZE SIZE_64MB\r
+#define QEMU_NOR1_BASE 0x04000000\r
+#define QEMU_NOR1_SIZE SIZE_64MB\r
+\r
+#endif\r