RSS 17 projects tagged "Operating System Kernels"

No download Website Updated 02 Dec 2008 OKL4 Microkernels

Screenshot
Pop 28.77
Vit 44.30

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.

Download Website Updated 24 Dec 2013 amforth

Screenshot
Pop 179.05
Vit 33.57

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.

No download Website Updated 20 Sep 2012 GeeXboX

Screenshot
Pop 577.17
Vit 13.43

GeeXboX is a standalone media player Linux distribution, similar to MoviX. It's a small bootable CD that allows you to play your favorite video (DivX, XviD, H.264, MPEG 1/2, VCD, DVD, OggMedia, Windows Media, RealMedia, etc.) and audio (MP3, Audio CD, Ogg Vorbis, FLAC, MPC, etc.) files. It also supports networking, and is able to play media from Windows/Samba share, NFS, UPnP A/V Media Servers, RTP/RTSP servers, or SHOUTcast. It supports TV-out, TV tuners, DVB cards, and WiFi cards. It is based on MPlayer, and can be used on any x86, x86_64, or PowerPC computer. It's easy to modify the source to build your own GeeXboX or use an alternative boot method.

Download No website Updated 11 Dec 2013 QP

Screenshot
Pop 111.71
Vit 6.38

QP is a family of lightweight software frameworks for building responsive and modular real-time embedded applications as systems of cooperating, event-driven active objects (actors). 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 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 all major CPUs, such as ARM Cortex-M, ARM7/9, MSP430, C28x, C55x, RX, R8C, AVR32, AVRMega, PIC24/dsPIC, as well as Arduino and mbed. QP/C and QP/C++ can also work with a traditional OS/RTOS, such as: POSIX (Linux, QNX), Windows, VxWorks, ThreadX, and uC/OS.

Download Website Updated 04 Sep 2012 FreeRTOS

Screenshot
Pop 118.44
Vit 6.18

FreeRTOS is a scalable miniature real time kernel designed specifically for very small embedded systems that run on microcontrollers or FPGAs.

Download Website Updated 01 Oct 2009 Prex

Screenshot
Pop 96.18
Vit 5.83

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.

Download Website Updated 28 Aug 2008 Squashfs

Screenshot
Pop 139.22
Vit 5.70

Squashfs is a highly compressed read-only filesystem for Linux. It uses zlib to compress files, inodes, and directories. All blocks are packed to minimize the data overhead, and block sizes of between 4K and 1M are supported. It is intended to be used for archival use, for live CDs, and for embedded systems where low overhead is needed.

Download Website Updated 08 Aug 2011 BeRTOS

Screenshot
Pop 102.24
Vit 5.20

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.

Download Website Updated 29 Nov 2009 Zeta

Screenshot
Pop 50.73
Vit 3.36

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.

Download Website Updated 10 Jul 2008 OKL4

Screenshot
Pop 20.37
Vit 1.91

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.

Screenshot

Project Spotlight

i18nspector

A checking tool for gettext POT, PO, and MO files.

Screenshot

Project Spotlight

libburnia

A set of libraries and tools for reading, mastering, and writing optical discs.