Projects / OKL4
OKL4
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.
| Tags | Operating System Kernels Software Development Embedded Systems |
|---|---|
| Licenses | BSD Revised |
| Implementation | C++ |
Recent releases
- 10 Jul 2008 15:19
No changes have been submitted for this release.
- 18 Nov 2007 05:07
Release Notes: Assorted major enhancements and major bugfixes.
- 25 Apr 2007 07:19
Release Notes: This is the first commercial open-source release from Open Kernel Labs.
navlrac
24 Apr 2007 21:00
Heartbeat
- Popularity Score
- 22.69
- Vitality Score
- 1.94
- Subscriptions
- 4
Voting Score: 0
(0 votes)
