--- sos/lib/l4e/l4e.c	2003-08-10 11:48:48.000000000 +1000
+++ sos.test2/lib/l4e/l4e.c	2004-08-16 21:23:50.000000000 +1000
@@ -356,6 +356,11 @@
 		*low = L4_MemoryDescLow(memdesc);
 		*high = L4_MemoryDescHigh(memdesc);
 
+		/* L4 uses inclusive addresses, we prefer
+		 * to label the next byte after.
+		 */
+	        (*high)++;
+
 		switch (memdesc->x.type) {
 			case 0:  type = "undefined";	break;
 			case 1:  type = "conventional";	break;