1 |
This is rtmk, a free realtime microkernel. It was inspired by the |
This is rtmk, a free realtime microkernel. It was inspired by the |
2 |
Mach microkernel. |
Mach microkernel. |
3 |
|
|
4 |
|
Before trying to compile the kernel you must build a working |
5 |
|
version of RIG, the rtmk interface generator. You find it at |
6 |
|
the same place you found rtmk. You should configure it with |
7 |
|
target set to the same as host when configuring the kernel. |
8 |
|
|
9 |
To built the kernel, use one of the following hosts: |
To built the kernel, use one of the following hosts: |
10 |
|
|
11 |
i386-pc-* Intel 386 compatible AT computer |
i386-pc-* Intel 386 compatible AT computer |
21 |
|
|
22 |
To configure the system, just run the configure script. Example: |
To configure the system, just run the configure script. Example: |
23 |
|
|
24 |
$ ./configure --host=i386-pc-rtmk |
$ ./configure --host=i386-pc-rtmk --build=i686-pc-gnu-linux |
25 |
|
|
26 |
|
I suggest that you use the `--build' parameter as well. |
27 |
|
|
28 |
On i386 hosts rtmk uses the multiboot standard, you need GRUB [1]. |
On i386 hosts rtmk uses the multiboot standard, you need GRUB [1]. |
29 |
|
|
33 |
|
|
34 |
Good luck. |
Good luck. |
35 |
|
|
36 |
|
|
37 |
rtmk has a page on the web. See: |
rtmk has a page on the web. See: |
38 |
|
|
39 |
http://www.rtmk.org/ |
http://www.rtmk.org/ |