Open Source Operating System Kernels - Page 23

CelOS is a simple, easy-to-use, flatpak centric Linux distribution for everyone. Github: https://github.com/cobweb-development/celos/ We aim to have a stunning design, by using the GNOME desktop environment, complete with stunning animations, we plan to have a beautiful, intuitive and easy to use desktop. We aim to be as secure as possible. Most preinstalled applications come from Flatpak and Flathub, a containerised, sandboxed method of Linux application distribution. We aim to be a distribution for the majority of people, those who want a beautiful, stable and secure desktop. We are based on Ubuntu 20.04 LTS to provide that stability. Flatpak is at the heart of CelOS. The core applications you may be using eg: Firefox, will come from a flathub repository. Any software or games you might want to install (examples include: Spotify, Discord, Steam, Minecraft) can be installed right from our software center!

Cerber -- system firewall mechanism. It's a kernel module, which is a complete security solution for FreeBSD.

A basic command line OS made with Cosmos. Now supports disks!

Linux-ck is a custom kernel, available in the CCR and here as pre-compiled packages, that allows users to run a kernel/headers setup patched with Con Kolivas' ck1 patchset, including the Brain Fuck Scheduler (BFS). It's designed to improve system responsiveness with specific emphasis on the desktop, but suitable to any workload. Many users elect to use this package for the BFS' excellent desktop interactivity and responsiveness under any load situation. Additionally, the bfs imparts performance gains beyond interactivity. Linux-ck roughly follows the release cycle of the official Chakra kernel, and contains: * Upstream code * CK's Patchset * BFQ Patchset * Chakra config.x86_64 sets

This is the old project home, which is no longer maintained. The new project entry resides at http://sourceforge.net/projects/challengeos.

The goal of this project is to provide an operating system with a native GUI, an interpreter for an object-oriented BASIC dialect and many more features to make life easier for normal users.

It is a Uruguayan Linux distribution. Can be used from floppy disks, cdroom or you can install it in your hard disk. It has been designed to be fast and effective without leaving of side the graphical aspect for the user.

COS is an Open Source Operating System, which is currently in development. It is made from scratch, except it uses GRUB as a boot loader. Comments would be kindly taken, and all criticism is accepted.

The goal of the Christ-OS project is to create a real time micro kernel operating system with a preemptive kernel for embedded systems.

Cinux is a Linux based Operating System that formerly came with Xfce as its window manager. It's a distribution built according to the Linux From Scratch manual, but with additional goodies. Default user: root, with empty password

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.

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.

Codename Five is an operating system kernel, written as an experiment in learning assembler, written from scratch for x86. It is not (purposely) based on any previous operating system.

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.

The aim of context filter is to provide a strong mechanism for checking network flow on the fly in complement of Packet Filter or IP Filter on a FreeBSD operating system.

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.