@@ -457,6 +457,8 @@ fail: PRINT("- Boot failed -\r\n")
1: wfe
b 1b
+GLOBAL(_end_boot)
+
/* Copy Xen to new location and switch TTBR
* r1:r0 ttbr
* r2 source address
@@ -487,6 +487,8 @@ fail: PRINT("- Boot failed -\r\n")
1: wfe
b 1b
+GLOBAL(_end_boot)
+
/* Copy Xen to new location and switch TTBR
* x0 ttbr
* x1 source address
@@ -178,3 +178,9 @@ SECTIONS
.stab.indexstr 0 : { *(.stab.indexstr) }
.comment 0 : { *(.comment) }
}
+
+/*
+ * We require that Xen is loaded at a 4K boundary, so this ensures that any
+ * code running on the boot time identity map cannot cross a section boundary.
+ */
+ASSERT( _end_boot - start <= PAGE_SIZE, "Boot code is larger than 4K")