update

[l4.git] / kernel / fiasco / src / kern / arm / kip_init.cpp

diff --git a/kernel/fiasco/src/kern/arm/kip_init.cpp b/kernel/fiasco/src/kern/arm/kip_init.cpp
index c1e324e12cd1073463d976938bbf6279ff824995..091e2cbec3bd00d105df2585f6ca04a949182a79 100644 (file)
--- a/kernel/fiasco/src/kern/arm/kip_init.cpp
+++ b/kernel/fiasco/src/kern/arm/kip_init.cpp
@@ -67,7 +67,7 @@ void Kip_init::init()
 {
   Kip *kinfo = reinterpret_cast<Kip*>(&KIP_namespace::my_kernel_info_page);
   Kip::init_global_kip(kinfo);
-  kinfo->add_mem_region(Mem_desc(0, Mem_layout::User_max - 1,
+  kinfo->add_mem_region(Mem_desc(0, Mem_layout::User_max,
                         Mem_desc::Conventional, true));
 
   asm("mrc p15, 0, %0, c0, c0, 0" : "=r" (kinfo->platform_info.arch.cpuinfo.MIDR));