Re: patch and request

[Bas Wijnen]

Ok, I wrote a new patch for README and a missing space in wortel/wortel.c
By the way, does the fact that nobody noticed mean that I'm the only one 
who sees this error (unexpected page fault)?  I didn't see what was 
causing it yet.

Bye,
Bas Wijnen

Ps: cvs diff was doing weird things, I got a load of "? filename" entries 
in my patch file (which means they went to stdout, not stderr).  Therefore 
I'm not sure if this is exactly how the patch should look.


ChangeLog entry:

2003-09-18  Bas Wijnen  <address@hidden>

        * README: Added an example grub configfile and info on how to get 
        and compile L4.
        * wortel/wortel.c (serve_bootstrap_requests): Added a space in
        error message.


Index: README
===================================================================
RCS file: /cvsroot/hurd/hurd-l4/README,v
retrieving revision 1.7
diff -u -p -r1.7 README
--- README      18 Sep 2003 15:58:00 -0000      1.7
+++ README      18 Sep 2003 20:21:49 -0000
@@ -29,15 +29,38 @@ Installation
 Prerequisites: Pistachio-0.2 with the patch you can find at the end of
 this file.
 
+The source code for Pistachio is available from
+http://www.l4ka.org/projects/pistachio/download.php
+It includes the source for sigma0.
+
 Furthermore, sigma0 must be built with a different link base than the
 default value 0x20000, because that conflicts with GRUB (on ia32).  I
-have successfully used a link base of 0x40000.
+have successfully used a link base of 0x40000.  The link base can be
+set by giving --with-sigma0-linkbase=0x40000 as an argument to configure.
+
+To build sigma0, configure and make must be run in pistachio-0.2/user/.
+Sigma0 will end up in pistachio-0.2/user/serv/sigma0/sigma0.
+To build the kernel, type make in pistachio-0.2/ and follow the
+instructions.
+
+Note that (at the time of this writing) Pistachio cannot be built with
+gcc-3.3.  Setting the CC environment variable to "/usr/bin/gcc-3.2" helps.
 
 Then set up GRUB to boot laden as the kernel, and the L4 kernel,
-sigma0, wortel (the rootserver) and physmem as its modules.
+sigma0, wortel (the rootserver) and physmem as its modules (in that order).
 
 Try the debug option (-D) to laden and wortel to see some output from
 them.  They are silent by default.
+
+An example menu.lst file for grub:
+
+title GNU on L4
+root (hd0,0)
+kernel /boot/laden -D
+module /boot/ia32-kernel
+module /boot/sigma0
+module /boor/wortel -D
+module /boot/physmem
 
 
 sigma0 Patch
Index: wortel/wortel.c
===================================================================
RCS file: /cvsroot/hurd/hurd-l4/wortel/wortel.c,v
retrieving revision 1.14
diff -u -p -r1.14 wortel.c
--- wortel/wortel.c     17 Sep 2003 14:23:00 -0000      1.14
+++ wortel/wortel.c     18 Sep 2003 20:21:49 -0000
@@ -457,7 +457,7 @@ serve_bootstrap_requests (void)
        {
          if (l4_untyped_words (msg_tag) != 2 || l4_typed_words (msg_tag) != 0)
            panic ("Invalid format of page fault message");
-         panic ("Unexpected page fault from 0x%xat address 0x%x (IP 0x%x)",
+         panic ("Unexpected page fault from 0x%x at address 0x%x (IP 0x%x)",
                 from.raw, l4_msg_word (&msg, 0), l4_msg_word (&msg, 1));
        }
       else