OKL4 is a high-performance system software platform, built using cutting-edge microkernel technology. It provides developers with the technologies and tools needed to build and deploy innovative, high-performance and secure intelligent devices.
Download
