1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
The GNU Hurd
============
This is not the GNU Hurd. But it might become it at some day.
The intention is to port the GNU Hurd to run on the L4 microkernel.
This is work in progress.
How to build
------------
Building the code is straight forward:
$ autoreconf -f -i -s
$ ./configure --enable-maintainer-mode --prefix=/l4
$ make
$ make install
$ mkdir /l4/boot
$ cp laden/laden /l4/boot
$ cp wortel/wortel /l4/boot
$ cp physmem/physmem /l4/boot
Installation on ia32
--------------------
Prerequisites: Pistachio-0.2 with the patch you can find at the end of
this file. You can find information about how to download the
Pistachio source distribution (which includes the kernel and sigma0)
at the following URL:
http://www.l4ka.org/projects/pistachio/download.php
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.
Then set up GRUB to boot laden as the kernel, and the L4 kernel,
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.
Here is an example menu.lst file for GNU GRUB:
title The GNU Hurd on L4
root (hd0,0)
kernel /boot/laden -D
module /boot/ia32-kernel
module /boot/sigma0
module /boot/wortel -D
module /boot/physmem
sigma0 Patch
------------
sigma0 in pistachio 0.2 is a bit buggy. The following patch fixes the
problems that the bugs cause to wortel.
--- pistachio-0.2/user/serv/sigma0/sigma0.cc.prev 2003-09-16 20:29:14.000000000 +0200
+++ pistachio-0.2/user/serv/sigma0/sigma0.cc 2003-09-16 21:03:09.000000000 +0200
@@ -506,7 +506,8 @@
L4_Word_t low_a = (low + size - 1) & ~(size-1);
L4_Fpage_t ret;
- if ((high_a - low_a) < size || (owner != tid && owner != L4_anythread))
+ if (low_a > high_a || (high_a - low_a) < size
+ || (owner != tid && owner != L4_anythread))
{
// Allocation failed
ret = L4_Nilpage;
@@ -530,7 +531,7 @@
{
// Allocate from middle of region
ret = L4_FpageLog2 (low_a, log2size) + L4_FullyAccessible;
- memregion_t * r = new memregion_t (high_a, high, owner);
+ memregion_t * r = new memregion_t (low_a + size, high, owner);
r->next = next;
r->prev = this;
r->next->prev = next = r;
@@ -1246,7 +1247,7 @@
{
if ((fp = r->allocate (log2size)).raw != L4_Nilpage.raw)
{
- map = L4_MapItem (fp, 0);
+ map = L4_MapItem (fp, L4_Address (fp));
alloc_pool.insert
(new memregion_t (L4_Address (fp), L4_Address (fp) +
(1UL << log2size), tid));
|
