[okl4-developer] starting wirh OKL4

[Charles.VANWITTENBERGHE at fr.thalesgroup.com]

Hi everybody!

I'm a young french trainee, starting with OKL4 kernel. I have to implement
it on a MIPS-32 core, using the Eclipse Development Environment provided
with the platform. I think that I have well understood the theory and
concepts related to microkernel and virtualization, but the practice is
harder.

To start, I just want to compile the smallest base of the kernel, just the
functionnalities described in the "OKL4 Programming Manual".  So here come
my two questions :
- In my mind, I just need to work with the librairies from the path :
"okl4_release_1.5.2\libs\l4\include" and
"okl4_release_1.5.2\arch\mips\libs\l4\include". Is that true ?
- I have some problems to initialise the kernel. The manual speaks about the
_l4_init function. I suppose it's an assembler function, but I can't find
it.

Thank you for your answers.

Regards,
Charles.
							

----

Charles Van Wittenberghe
Stagiaire service SES
THALES COMMUNICATION 
110 Avenue du Maréchal Leclerc
BP 70942- 49309 CHOLET
tel : 06.84.12.45.87
charles.vanwittenberghe at fr.thalesgroup.com