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.
Django is a high-level Python Web framework that encourages rapid development and clean, pragmatic design. TurnKey Django is an appliance that just works, with no configuration required. It gets you up and running with Django in minutes on a virtual machine, bare metal or in the cloud. It's designed to be easy to use and easy to maintain. Security patches are automatically installed. It provides a Web management interface, configuration console, and AJAX Web shell. To minimize footprint, the appliance is built from the ground up with the minimum required components. It runs everywhere thanks to multiple build formats, including an installable live CD, a VMDK with OVF support and an Amazon EC2 AMI. It's a part of the TurnKey Linux Virtual Appliance Library.
TurnKey Ruby on Rails Appliance is a server appliance for the Ruby on Rails Web development framework. It is designed to be easy to use and easy to maintain. Security patches are automatically installed. It provides a Web management interface, configuration console, and an AJAX Web shell. To minimize footprint the appliance is built from the ground up with the minimum required components. It runs everywhere thanks to multiple build formats, including an installable live CD, a VMDK with OVF support, and an Amazon EC2 AMI.
The 64 Studio Platform Development Kit (PDK) is a version control system for GNU/Linux distributions, allowing the creation and management of many different projects, based on Debian and Ubuntu sources. PDK is written in Python, and the source code is well commented and contains documented examples.
libsharedmem is an easy to use C library for handling shared memory blocks on POSIX compatible systems. It also contains malloc()/realloc()/free() -style shared allocation functionality and synchronization primitives. libshmsg adds optional zero-copy message passing functionality on top of libsharedmem.
Curie is a very minimalistic, tiny C library. It supports basic I/O, basic networking, S-expression based I/O, signal handling, process handling, and I/O multiplexing. If the target architecture is explicitly supported, statically linked binaries may be as small as 4-20 kilobytes; if not, then it only relies on the host's C library. The library explicitly does not provide a POSIX interface so that it may be used in conjunction with a regular host libc (or without one).
LPAR2RRD makes historical, future trends and nearly "realtime" CPU utilization graphs of LPARs and shared CPU usage of IBM Power servers. It collects complete physical and logical configuration of all servers/LPARs. It is agent-less (it gets everything from the HMC/SDMC or IVM). It supports all kinds of logical partitions (AIX/AS400/Linux/VIOS).