A Tiny Linux-Compatible Kernel
A dynamic language for system programming (LuaJIT fork)
X-hyp free Hypervisor
A truly simple cooperative RTOS for bare-metal embedded applications
modified Linux USB driver kernel module
Holberton-style C code checker written in Perl
The new site is at http://psychometricon.net/libirt/
32 bit VIRGO Linux Kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
Floor-level factory/shop automatization control software
A UNIX-like kernel for the i386 architecture
C++ wrapper classes for the FreeRTOS kernel.
AquilaOS: UNIX-like Operating System
Simple Log Structured Filesystem for Linux
Mulithreading Arduno library
Test suite for Linux audit and related security functionality
btier creates an automated tiered blockdevice
linux syscall tracer
Reading Position, Velocity, Time from a GARMIN GPS via native USB
W-Bus communication library
The Yearbook of the Programmers of University of Debrecen