Description: 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.
File list (Check if you may need any files):
okl4_2.1.1.pdf
Download