OKL4 is a high-performance system software platform, built using cutting-edge microkernel technology, which provides Trustworthy Virtualization and Secure Decomposition capability for embedded systems. OKL4 supports system virtualization, secure execution of components in an execution environment with a minimal trusted computing base, and fault isolation within complex systems using lightweight protected components. Used alone or as a complement to full-featured operating systems, OKL4 enables development teams to deliver systems that are more trustworthy in less time and at lower cost.
Once you have downloaded OKL4, please join the developer community. This is a great place to ask question, find help if you get stuck or even share a useful work around that you have discovered. Just check the box below for OK Developer's Mailing List
Happy Hacking
* indicates a required field.
Please correct the errors below.