Update

[l4.git] / kernel / fiasco / src / kern / ppc32 / mem_layout-ppc32.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/mem_layout-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/mem_layout-ppc32.cpp
index ed9f6f19a8e760df6d47f60fe08860b7a0d382d9..e91abc99ede12143d426b7d02a618afdadfc590d 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/mem_layout-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/mem_layout-ppc32.cpp
@@ -29,7 +29,6 @@ public:
     Caps_start           = 0xf5000000,
     Caps_end             = 0xfd000000,
     Kernel_image         = 0xfd000000,
-    Kernel_max           = 0x00000000,
   };
 
   static Address Tbuf_buffer_area;