@@ -22,6 +22,8 @@
*/
#define XEN_VIRT_START _AT(paddr_t, XEN_START_ADDRESS)
+#define HYPERVISOR_VIRT_START XEN_VIRT_START
+
#endif /* __ARM_MPU_LAYOUT_H__ */
/*
* Local variables:
@@ -239,4 +239,6 @@ ASSERT(IS_ALIGNED(__bss_start, POINTER_ALIGN), "__bss_start is misaligned")
ASSERT(IS_ALIGNED(__bss_end, POINTER_ALIGN), "__bss_end is misaligned")
/* To simplify the logic in head.S, we want to _end to be page aligned */
ASSERT(IS_ALIGNED(_end, PAGE_SIZE), "_end is not page aligned")
+#ifdef CONFIG_MMU
ASSERT((_end - _start) <= XEN_VIRT_SIZE, "Xen is too big")
+#endif