--- sos.orig/lib/l4e/l4e.c 2004-07-30 14:13:30.000000000 +1000 +++ sos/lib/l4e/l4e.c 2004-07-30 14:13:19.000000000 +1000 @@ -289,7 +289,7 @@ if (cached == 0) { l4e_printf("Requesting uncached mappings: %x\n", raddr); - rattrib = -2UL; + rattrib = 1; } /* accept fpages */