Custom firmware and IDE for the VEX Cortex Microcontroller
This project has been moved to http://pros.cs.purdue.edu/ PROS is a lightweight and fast alternative operating system for the VEX Cortex Microcontroller. It features multitasking, low-level control, and Wiring compatible functions to harness the full power of the Cortex. With a real-time kernel based on FreeRTOS and a development environment built on Eclipse CDT, PROS uses proven software to increase the reliability and usability of the VEX development system across all three major computing platforms. PROS is currently under active development to make it usable for VEX high school and middle school teams. PROS is intended for advanced VEX users seeking to move beyond competing environments. Eclipse and FreeRTOS have their own licensing agreements. Please see http://www.eclipse.org/legal/epl-v10.html and http://www.freertos.org/a00114.html for details.
The Palacios VMM integrated with the Kitten Ligthweight Kernel. Palacios is a lightweight and modular VMM developed by Northwestern University and the University of New Mexico. Kitten is a Lightweight OS Kernel developed by Sandia National Labs.
Simple OS written in Asm(x86[-64]) / C.
The Patagonia OS is intended to work with x86 computers. It is for general purposes and can be modified easily and add drivers for other devices. The main idea of this kernel is transform PCs into research machines.
Pebble is a 32-bit operating sytem for IA-32 systems. It can run MS-DOS and DPMI compatible applications and will provide advanced features such as multitasking and paging. It will be a good platform to run old MS-DOS and embedded programs.
PenCube, the ONLY kernel for otakus.
Perix is a MS-DOS compatible program, capable of running without an underlining OS. It is written in Turbo Pascal and Assembly. All parts of system are distributed under terms of the GNU General Public License v2.
This project has been retired.
PhiOS is a 1.44MB ! live operating system with Full graphical desktop, NTFS,FAT ve ISO 9660 support, CD/DVD burning, USB HID and USB Storage support and Ethernet support
A general purpose hobby Kernel/OS intended for the x86 architecture. Targeting environments with limited resources and restrictive displays; featuring console-based video, multi-tasking and a certain emphasis on modularity without sacrificing efficiency.
Phlox OS and Phlox Microkernel
Pistrix (lat. Shark) is a Open Source project of Operation System, written on Assembly and C Languages. The OS model is microkernel, because the basic task of the Pistrix is Speed and Small Size.
Plex OS is an open source IA32 operating system
Popcorn is a new 32-bit operating system kernel for x86-based computers. It currently features super-fast speed (no bloatware) and small size.
The Portable Operating System is meant to be an all purpose operating system that can suit many needs. Project goals include compatibility with other Unix-like operating systems and complete binary compatibility with Linux.
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.
Prex is a portable real-time operating system for embedded systems. The small, reliable and low power kernel is written in C language based on micro kernel design. File system, UNIX process and networking features are provided by user mode tasks.
This project is no longer active.
An operating system for an educational robot based on a Nios II board from Altera. Implemented in Nios II assember and C/C++.
A security oriented operating system, called WARBIRD(under development).
This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.
Unix-like operating system for the TI-89 and TI-92+ graphing calculators.
Real-time frameworks/RTOS based on active objects & state machines
Real-time frameworks/RTOS for building responsive and modular real-time embedded software as systems of active objects (concurrent state machines). The QP family consists of QP/C, QP/C++, and QP-nano frameworks, which are all strictly quality controlled, superbly documented, and commercially licensable. The behavior of active objects (a.k.a. actors) is specified in QP by means of hierarchical state machines (UML statecharts). The frameworks support manual coding of UML state machines in C or C++ as well as automatic code generation by means of the free QM modeling tool. All QP frameworks can run on bare-metal MCUs, completely replacing a traditional RTOS. Ports and ready-to-use examples are provided for major embedded CPUs, such as ARM Cortex-M, ARM7/9, MSP430, as well as Arduino and mbed. QP/C and QP/C++ can also work with a traditional RTOS/OS, such as ThreadX, FreeRTOS, embOS, and uC/OS-II as well as Linux (POSIX), Windows.
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.
A lightweight, simple and easy to use embedded system task scheduler. RataOS is written as a high level C, with a simple HAL & API structure, allowing it to be ported between embedded devices easily.