Introduction - If you have any usage issues, please Google them yourself
OKL4 Microkernel
Reference Manual
Open kernel 4_2.1.1 software interface.
The OKL4 Microkernel Programming Manual covers all features of the OKL4 microkernel at four different levels of abstraction and defines the computing concepts relevant to programming in an OKL4 environment.