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 ...
QNX has added Freescale's 1.5-GHz dual e600 Power core MPC8641D support to its collection of Neutrino real-time operating-system (RTOS) platforms. The microkernel-based QNX Neutrino supports bound ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results