OKL4, Open Kernel Labs' commercial version of the L4 microkernel, provides the required features for next-generation medium- to high-end embedded systems. These include virtualization and protection ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback