Search Results for "kernel development"

QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. The QP RTEFs can run on bare-metal...

ChibiOS/RT is a free and efficient RTOS designed for deeply embedded applications. It offers a comprehensive set of kernel primitives and supports many architectures: ARM7, Cortex-M0, Cortex-M3, Cortex-M4, PowerPC e200z, STM8, AVR, MSP430, ColdFire, H8S, x86.

Free, extremely simple, amazingly tiny and very fast real-time operating system (RTOS) designed for deeply embedded applications. Target: ARM Cortex-M, STM8. It was inspired by the concept of a state machine. Procedure executed by the task (task state) doesn't have to be noreturn-type. It will be executed into an infinite loop. There's a dedicated function for immediate change the task state.

Our project focuses the development of an operating system with a most simple implementation and structure. The goal is to provide a good starting point for beginners along with accompanying documents.

The BazisLib library provides API to simplify the development of certain system services and low-level applications, for WinXP kernel mode, Win32 and WinCE, as well as for Linux kernel.

*** NOTE: as of Sept 2012, Synopsys is no longer using this project to update GNU Toolchain and Linux kernel for DesignWare ARC processors. Open Source Software for DesignWare ARC processors has been moved to github at: https://github.com/foss-for-synopsys-dwc-arc-processors

Graphical OS Kernel compiled with gcc 4.6.1 and nasm 2.09.08

XSystem Kernel Project - an object-oriented 32-bit protected-mode operating system for IA32-architecture.

Media Lab Asia collaborated with IIT Delhi for development real-time kernel O/S named “RTKER OS” portable on microprocessor based systems and a Multithreaded O/S for 8-bit microcontrollers (like 8051 and ATMega128) as low cost embedded solution.

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.

UCOS is a micro kernel OS which is orinially intended for teaching. Yet the free UCOS kernel has it's limitations such as limited task quantity, priority reversion. There are tremendous work to be done!

A port of the Linux operating system kernel and assorted userspace to the Nintendo Wii.

Kernel Emulation on Windows allows you to run x86 Linux native binaries under MS-Windows. No recompiling is required. The goal is to be able to run your favorite distro without dual-booting or using emulation products such as Vmware, Qemu or coLinux

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.

The WOLKs are stable and development kernels, containing many useful patches from many projects. Goal: Stability, Scalability, Performance and most important: Security.

OS based on Agent based Security with a new type of split kernel and agents platform.

The target of this project is the development of a Linux Kernel Driver for using the Creative Nomad II Mp3 Portable Player under systems using Linux as OS. Also, the development of a C/C++ library to develop applications that use the device.

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, ...

shadowk kernel aim to be a clean portable object micro-kernel. Clean and extensible would be most too important directions for this development.