Showing page 1 of 1.
Market leading real time kernel for 32 microcontroller architectures1,699 weekly downloads
Components supporting real-time, reliability, high-availability, and security services in standard operating environments. Starting with the C5 modular microkernel, a RT-POSIX layer based on FreeBSD 4.1, and the CDE cross-development environment.1 weekly downloads
MkLinux: Linux at Mach 3 MkLinux is a port of Linux to the Mach 3 MicroKernel. Its home page can be found at http://www.mklinux.org and its primary ftp site is ftp://ftp.mklinux.org. This site is for bug tracking & other administrivia.0 weekly downloads