OKL4 is a microkernel that is designed to provide
high-performance and secure OS and virtualization
technology especially for use in embedded systems.
It is a descendant of NICTA::Pistachio-embedded,
itself a descendant of L4Ka::Pistachio.
Open source project that offer summary and download services on this page is a project that carry out their development work on other open source development sites. Their work is linked to this page via a feature called OFI, and their work is not carried out here on OSDN site.