Another Real Time Kernel for Arduino
GNU/Linux OS finally based on Debian Sid. It runs different DEs.
VDFS - Vertically Deliberate improved performance File System
Debox Linux is a live distro based on Debian distribution and Openbox
Kernel code navigation
Configuration tools for the Linux NetLabel subsystem
Kestrel is an experimental kernel runs on i386
Portable Framework for the Parallel Execution of Short Read Aligners
Machine learning with Gaussian kernels.
EPRD is an eventually persistant ramdisk or diskcache
A KDE Control Module for configuring the GRUB2 bootloader.
A Hobby OS in C and ASM.
My changes to qemu for legacy free GPU passthrough
lustre client roll for rocks clusters
Small startup script that notifies update info about CPU micorcode
M3-IPC: A Communication Tool for Distributed Virtualization
etcOS:easy text c operating system
Windows User Space AppleSMC Driver (64-bit only)