17 projects tagged "Operating System Kernels"
Updated 29 Mar 2010
Atomthreads
| Pop | 42.57 |
|---|---|
| Vit | 1.03 |
Atomthreads is a highly portable RTOS and scheduler for real time embedded systems. Made up of a few small C files, it can easily be dropped into any embedded system project that needs threading support. Ports to new CPU architectures require a single assembler file.
Updated 04 Sep 2012
FreeRTOS
| Pop | 158.57 |
|---|---|
| Vit | 8.41 |
FreeRTOS is a scalable miniature real time kernel designed specifically for very small embedded systems that run on microcontrollers or FPGAs.
Updated 02 Dec 2008
OKL4 Microkernels
| Pop | 30.33 |
|---|---|
| Vit | 40.45 |
OKL4 Microkernels are a family of second-generation microkernels based on the original designs and implementations by Jochen Liedtke. Originally implemented in highly tuned i386-specific assembly language code, the API has seen extensive development in a number of directions, both in achieving a higher grade of platform independence and also in improving security, isolation, and robustness. There have been various re-implementations of the original binary kernel interface and its higher level successors, including L4Ka::Pistachio, L4/MIPS, and Fiasco. For this reason, the name L4 now applies to the whole microkernel family including the L4 kernel interface and its different versions.
Updated 08 Aug 2011
BeRTOS
| Pop | 103.27 |
|---|---|
| Vit | 5.88 |
BeRTOS is a real time operating system (RTOS) suitable for embedded platforms. It runs on many microprocessors and microcontrollers, ranging from 8-bit to 32-bit CPUs and even PCs.
Updated 10 Jul 2008
OKL4
| Pop | 22.47 |
|---|---|
| Vit | 1.94 |
OKL4 is a microkernel that is designed to provide high-performance and secure OS and virtualization technology especially for use in embedded systems. It is a descendant of NICTA::Pistachio-embedded, itself a descendant of L4Ka::Pistachio.
Updated 12 Nov 2010
QP
| Pop | 66.99 |
|---|---|
| Vit | 1.00 |
QP is a family of lightweight and portable frameworks for modeling and coding UML state machines in C or C++. Designed for real-time embedded systems, QP can replace an RTOS or work with one. It has been ported to many MCUs (ARM Cortex-M3/M0, ARM7/9, MSP430, TMS320C28x, AVR, PIC18/PIC24/dsPIC, M16C/R8C, H8, 68HC08, ColdFire, PSoC, NiosII, 8051/80251, PSoC) and OSs (Linux/POSIX, Win32, VxWorks, QNX, ThreadX, uC/OS-II).
Updated 05 Apr 2013
amforth
| Pop | 250.06 |
|---|---|
| Vit | 47.61 |
amforth is an extendible command interpreter for the Atmel AVR ATmega microcontroller family. It has a turnkey feature for embedded use as well. It does not depend on a host application. The command language is an almost compatible ANS94 forth with extensions. It needs less than 8KB code memory for the base system. It is written in assembly language and forth itself.
Updated 29 Nov 2009
Zeta
| Pop | 54.77 |
|---|---|
| Vit | 3.55 |
Zeta is a virtual platform or architecture. It is implemented in a software emulator, and it was created for the sole purpose of having a new target to which the Linux kernel, GNU bintutils, and GNU gcc can be ported.
Updated 12 Jan 2006
DShaper
| Pop | 31.37 |
|---|---|
| Vit | 1.78 |
DummyNet Shaper is a variable bandwidth traffic shaper that can be configured to adjust the size of a DUMMYNET pipe depending on traffic volume flowing through the pipe.
Updated 01 Oct 2009
Prex
| Pop | 106.21 |
|---|---|
| Vit | 6.18 |
Prex is a portable real-time operating system for embedded systems. The small, reliable, and low power kernel is written in the C language based on microkernel design. The file system, Unix process, and networking features are provided by user mode tasks.
