@@ -364,20 +364,20 @@ typedef uint64_t xen_callback_t;
*/
/* Physical Address Space */
-#define GUEST_GICD_BASE 0x2c001000ULL
-#define GUEST_GICD_SIZE 0x1000ULL
-#define GUEST_GICC_BASE 0x2c002000ULL
-#define GUEST_GICC_SIZE 0x100ULL
+#define GUEST_GICD_BASE 0x03001000ULL
+#define GUEST_GICD_SIZE 0x00001000ULL
+#define GUEST_GICC_BASE 0x03002000ULL
+#define GUEST_GICC_SIZE 0x00000100ULL
-#define GUEST_RAM_BASE 0x80000000ULL /* 768M @ 2GB */
-#define GUEST_RAM_SIZE 0x30000000ULL
-
-#define GUEST_GNTTAB_BASE 0xb0000000ULL
+#define GUEST_GNTTAB_BASE 0x38000000ULL
#define GUEST_GNTTAB_SIZE 0x00020000ULL
-#define GUEST_MAGIC_BASE 0xc0000000ULL
+#define GUEST_MAGIC_BASE 0x39000000ULL
#define GUEST_MAGIC_SIZE 0x01000000ULL
+#define GUEST_RAM_BASE 0x40000000ULL /* 3GB of RAM @ 1GB */
+#define GUEST_RAM_SIZE 0xc0000000ULL
+
/* Interrupts */
#define GUEST_TIMER_VIRT_PPI 27
#define GUEST_TIMER_PHYS_S_PPI 29