[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: patch and request
Re: patch and request
Thu, 18 Sep 2003 22:51:10 +0200
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.
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.
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
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
+The source code for Pistachio is available from
+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
+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
+kernel /boot/laden -D
+module /boor/wortel -D
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));