40 |
sigma0 must be built with a different link base than the default value |
sigma0 must be built with a different link base than the default value |
41 |
0x20000, because that conflicts with GRUB (on ia32). I have |
0x20000, because that conflicts with GRUB (on ia32). I have |
42 |
successfully used a link base of 0x40000. Use the configure option |
successfully used a link base of 0x40000. Use the configure option |
43 |
--with-sigma0-linkbase when configuring the user space of the L4 |
--with-s0-linkbase=0x40000 when configuring the user space of the L4 |
44 |
distribution. |
distribution. |
45 |
|
|
46 |
|
You only need the ia32-kernel and sigma0 binary from the L4 |
47 |
|
distribution. You may want to install the other programs and |
48 |
|
utilities as well to test your L4 kernel, though. |
49 |
|
|
50 |
Then set up GRUB to boot laden as the kernel, and the L4 kernel, |
Then set up GRUB to boot laden as the kernel, and the L4 kernel, |
51 |
sigma0, wortel (the rootserver), physmem and task as its modules (in |
sigma0, wortel (the rootserver), physmem and task as its modules (in |
52 |
that order). Also, add some dummy entries for the not-yet-existing |
that order). Also, add some dummy entries for the not-yet-existing |