Search Results for "kernel development"

Moss Kernel is an open-source operating system kernel project designed to explore modern OS design and provide a foundation for experimental system research and development. Rather than replicating traditional monolithic kernels exactly, it emphasizes modularity, safety, and simplicity by incorporating well-structured subsystems for memory management, scheduling, and device abstraction that are easy for contributors to understand and extend.

Neptune is a kernel and a complete operating system. The Neptune kernel can be used in any of your projects and the Neptune operating system depends on the Neptune kernel. For information on customizing Neptune, go to: http://neptuneos.eu.pn/devel.html

Graphical OS Kernel compiled with gcc 4.6.1 and nasm 2.09.08

Portable TinyTimber is a modularized fork of the TinyTimber embedded kernel, designed to be portable. It is not yet a stable port but can be used for a development and debugging TinyTimber applications.

Boiler-template (source) file generator. Automates (source) file generation from template files: speeds up developement of redundant or re-usable software and more. An example template for Linux Kernel Device Drivers generation, is included.

DefconfigManager is too to generate consistent Linux Kernel defconfig for different architectures and machines. It is based Kconfiglib, Python library to parse Kconfig's and defconfigs.

Linux Kernel Configuration plugin for Eclipse (www.eclipse.org)

Maiden-core is a Linux kernel robotics API module, extensible in Erc. The Maiden Project also documents and develops the Maiden architecture for mobile robots, a set of (optional) designs and standards for robots using the Maiden-core API.

AVOS is an advanced Real-Time 32-bit operating system that will work in any 80386 & above architecture pc's. AVOS employs a message passing scheme. The project has two main parts - The booting phase and kernel development. It is written in C and 8086 ASM.

SDL REFLEX is the micro kernel of a real time operating system for the AVR microcontroller family. The kernel is especially designed to implement systems described in SDL – “The Specification and Description Language” . Compiler GNU ANSI-C for AVR v.3.3

Provide secure and stable OS, based on highly modified Linux Kernel, own package system, like "BSD Ports". Compatible with x86, Power PC. Easy to use of any level users. Complete Documentantion in many languages. 99% compatible with Windows.

Just another view on how should OS be designed. Streams based architecture, micro kernel, dynamic loading/removing drivers without OS rebooting, ...

Queue is a load-balancing system popular in the 2000s that lets users control their remote jobs in an intuitive, transparent and nearly seamless way. Development versions feature job migration with and without kernel support. GNU Queue continues to be downloaded despite being decommissioned by the FSF in favor of the newer GNU Parallel project. Older versions of the code are archived here on Sourceforge and some later versions on GNU Savannah.