OKL4

OKL4 is a microkernel-based virtualisation solution for embedded systems.

Click here to view video transcript

Click here to go to the software site

OKL4 Developer
Gernot Heiser

Return to home page