20 |
$ cd .. |
$ cd .. |
21 |
$ make CFLAGS=-I/l4/include |
$ make CFLAGS=-I/l4/include |
22 |
$ mkdir /l4/boot |
$ mkdir /l4/boot |
23 |
$ cp laden /l4/boot |
$ cp laden/laden /l4/boot |
24 |
|
$ cp wortel/wortel /l4/boot |
25 |
|
|
26 |
You also need the L4 kernel, sigma0 and a rootserver. Then set up |
You also need the L4 kernel and sigma0. sigma0 must be built with a |
27 |
GRUB to boot laden as the kernel, and the L4 kernel, sigma0 and the |
different link base than the default value 0x20000, because that |
28 |
rootserver as its modules. |
conflicts with GRUB (on ia32). I have successfully used a link base |
29 |
|
of 0x40000. Then set up GRUB to boot laden as the kernel, and the L4 |
30 |
|
kernel, sigma0 and wortel (the rootserver) as its modules. |