hurd-l4/doc hurd-on-l4.tex

[Marcus Brinkmann]

CVSROOT:        /cvsroot/hurd
Module name:    hurd-l4
Branch:         
Changes by:     Marcus Brinkmann <address@hidden>       03/09/03 21:32:59

Modified files:
        doc            : hurd-on-l4.tex 

Log message:
        Document problem with high address of memdesc overflowing.

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/doc/hurd-on-l4.tex.diff?tr1=1.17&tr2=1.18&r1=text&r2=text

Patches:
Index: hurd-l4/doc/hurd-on-l4.tex
diff -u hurd-l4/doc/hurd-on-l4.tex:1.17 hurd-l4/doc/hurd-on-l4.tex:1.18
--- hurd-l4/doc/hurd-on-l4.tex:1.17     Wed Sep  3 14:19:15 2003
+++ hurd-l4/doc/hurd-on-l4.tex  Wed Sep  3 21:32:59 2003
@@ -127,6 +127,12 @@
   areas in an intelligent way.  It currently will detect such
   situations, but is not always able to find a solution, even if one
   exists.
+  
+  If a memory area stretches out to the very last page addressible in
+  32 bit, the high address of the memory descriptor will overflow.
+  This is in fact the behaviour of \texttt{kickstart}.  \texttt{laden}
+  currently truncates such an area by one page.  This needs
+  clarification in the L4 standard.
 \end{comment}
 
 Then it searches for the kernel interface page (KIP) in the L4 kernel