Open Source Linux Operating System Kernels - Page 20

ClamFS is a FUSE-based user-space file system for Linux with on-access anti-virus file scanning through clamd daemon. ClamFS has moved to Github. Please navigate to github.com/burghardt/clamfs.

CleanOS is an operating system developed for educational purposes, initially to be an userspace GNU/Linux application running its executables and simulating the operating system task scheduler and IPC mechanisms. Now it supports a true i386 kernel.

Cloudium OS is being written in pure ASM. It's designed for speed and ease, having cloud computing in mind. It also is secure (without requiring constant user input like Windows). But, how are we going to do this? Well every os wants/says these kind of things, so to accomplish our goals we follow these simple rules: keep it simple (that's way better then these complex interfaces etc. almost nobody wants), generalize (this makes things easier and more useful without extra complexity) and be inventive (sometimes doing it the classical way just doesn't work). Note: development peace will be temporarily lowered until February the fifth. Please check out our OS and Project site!

The Cocoon Adaption Kit is a NetKernel module which enables the use of Cocoon Components (Generators, Transformers, Serializer, Actions) from within the NetKernel XML Application Server.

The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

Milano is a new linux OS that will allow pc users to navigate over from windows into the linux world with ease. The user will fell at home with the new GUI and all the features such as MilanoSD.

OpenSource OS based on OpenSolaris.

I finally got around to actually coding something! This is going to be an OS for use on combat robots, complete with full support for sensors, hammers, flamethrowers, wedges, saws, and clamper robots. All weapon systems are fully customizable w/RC.

CompactBSD is a powerful set of tools that allow you to build your own customized, lightweight distribution of OpenBSD and then burn it onto compact flash so that it can be run on an embedded PC platform such as FatPort's FatPoint (www.fatport.com)

Computer Manager is the first OS that takes advantage of the DOS and Linux filesystems. It also makes doing jobs easier for everyone. Once it is complete, it will be made available to everyone!

ConfigFS is a linux kernel patch that tries to make more information available about drivers and the devices that they manage. In a second step it should also be used to allow the configuration of drivers.

Controlix is a virtual-circuit based operating system written in RTL.

CooCox CoOS is an Embedded RTOS specially for ARM Cortex-M3. It is a real-time multitask kernel which accords with CMSIS ( Cortex Microcontroller Software Interface Standard ). It is a free and open real-time Operating System.

Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases.

Covert Linux is technology of instalation for Linux without repartition the disk and running from native system, e.g. you can install Linux from ,say, Windows by grabbing some SETUP.EXE, launching it and then clicking on desktop icon.

The cowloop-driver is a copy-on-write loop driver (block device) to be used on top of any other block driver. The cowloop-driver shields the lower driver from any write accesses. Instead, it diverts all write-accesses to an arbitrary regular file.

Crocos is a small opensource UNIX-like kernel, designed with simplicity in mind, for educational purposes. It is developed in several steps to allow people to understand how a tiny operating system can be built from scratch.

Crosos is a open-source OS. It is based on the Linux Kernel and mostly uses the same code in Ubuntu (but it has been derived from Debian)

Cross-Platform System Library is a portable C++ run-time library that provides support for manipulating system resources, such as thread, process, mutex, and synchronize, in Win32 and POSIX(UNIX, Linux, Mac OS X) platforms.

Cryopid2 is a development of the excellent Cyropid process freezer for Linux developed initially by Bernard Blackham. Cryopid2 adds a host of functionality to the original package.

Cryproc is module for the Linux kernel 2.6 which allows user space programs to access the kernel's CryptoAPI functions via a file called "cryproc" created in the /proc filesystem.

Cryptographic Disk Driver for Linux

This is cryptographic disk driver for FreeBSD. It provides transparent encryption and decryption of selected devices. It is based on vn(4).

CubTrix is a graphical user interface with support for real-time applications. Built on top of a small, fast and efficient real-time microkernel.