66 |
------------------------------------------ |
------------------------------------------ |
67 |
|
|
68 |
If you are not using the dynamic linker, you can either link to libl4, |
If you are not using the dynamic linker, you can either link to libl4, |
69 |
or include <l4/globals.h> somewhere (but only once!) in your program. |
or include <l4/globals.h> and <l4/stubs.h> somewhere (but only once |
70 |
You also have to run l4_init() manually (defined in <l4.h>) to |
each!) in your program. You also have to run l4_init() (defined in |
71 |
|
<l4/init.h>) and l4_init_stubs() (defined in <l4/stubs-init.h>) to |
72 |
initialize the global variables and fixup the system call stubs. |
initialize the global variables and fixup the system call stubs. |
73 |
|
|
74 |
|
|