diff --git a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h
index 2c79840..929b3cc 100644
--- a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h
+++ b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h
@@ -12,7 +12,12 @@
 
 #pragma once
 
+#ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
+#define KERNEL_RESERVED_START 0x00000FFFFFFFF000
+#else
 #define KERNEL_RESERVED_START 0x00007ffffffff000
+#endif
+
 #define VSPACE_MAP_PAGING_OBJECTS 5
 
 #define VSPACE_LEVEL_BITS 9