7 projects tagged "Operating System Kernels"

Download No website Updated 19 Dec 2011 Thread Safe Template Library

Screenshot
Pop 249.49
Vit 9.56

Thread Safe Template Library (TSTL) is a C++ library that provides thread-safe containers with high grade of locking. It includes classes for multimaps based on a B-tree and a hash table. It also includes classes for a queue, a priority queue, a pipe, an alloccache, a timercache, a limitcache without global locking, and a fast shared mutual exclusion locker (also known as "rwlock" or "wmrg"). It's useful for writing multi-threaded applications, network services, and operating system components with high requirements for interactivity level.

Download Website Updated 23 Nov 2005 Linux for OMAP series of processors

Screenshot
Pop 7.21
Vit 55.76

This is a project to support Linux on the Texas Instruments OMAP series of processors. OMAP processors are used in embedded devices, such as phones and PDAs.

No download Website Updated 27 Feb 2006 DSLinux

Screenshot
Pop 17.66
Vit 54.89

DSLinux is a port of Linux to the Nintendo DS game console. DSLinux includes drivers for the WiFi hardware in the DS, allowing the use of telnet and the retawq Web browser.

Download Website Updated 09 Aug 2012 HelenOS

Screenshot
Pop 78.17
Vit 7.68

HelenOS is a microkernel-based multiserver operating system designed from scratch. By decomposing the operating system functionality into tens of isolated but intensively communicating userspace servers, it provides a computing environment that has several virtues such as flexibility, increased robustness, well defined explicit interfaces, and smaller complexity of individual components. HelenOS does not aim to be another clone of Unix or some other legacy system and is not POSIX-compliant (even though it may seem POSIX-similar at times). Instead, the goal has been to design it according to what is the most elegant and right thing to do. What makes HelenOS unique among the other multiserver operating systems is its multiplatform and multiprocessor microkernel. It will run on seven different processor architectures ranging from a 32-bit uniprocessor little-endian ARMv4 to a 64-bit multicore big-endian UltraSPARC T1.

Download Website Updated 10 Jan 2007 Host Identity Protocol on Linux

Screenshot
Pop 29.70
Vit 1.47

Host Identity Protocol on Linux is an implemetation of the Host Identity Protocol (HIP) and the related architecture. HIP is a proposal to change the TCP/IP stack to securely support mobility and multi-homing. Additionally, it provides for enhanced security and privacy and advanced network concepts, such as moving networks and mobile ad hoc networks. HIP is "cool", which means that as a mobile VPN solution, when your network interfaces go up or down, there is no need to re-establish a secure tunnel.

Download No website Updated 11 Dec 2013 QP

Screenshot
Pop 108.72
Vit 5.60

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 10 Jul 2008 OKL4

Screenshot
Pop 20.37
Vit 1.90

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

LibPKI

An easy-to-use high-level PKI library.

Screenshot

Project Spotlight

List My Apps

An app lister for Android.