Displaying 1 to 9 from 9 results

syzkaller - syzkaller is an unsupervised, coverage-guided Linux system call fuzzer

syzkaller is an unsupervised coverage-guided Linux kernel fuzzer.The project mailing list is syzkaller@googlegroups.com. You can subscribe to it with a google account or by sending an email to syzkaller+subscribe@googlegroups.com.

uCLinux - Embedded Linux

The original uClinux (you-see-linux) was a derivative of Linux 2.0 kernel intended for microcontrollers without Memory Management Units (MMUs). However, the Linux/Microcontroller Project has grown both in brand recognition and coverage of processor architectures. Today's uClinux as an operating system includes Linux kernel releases for 2.0 2.4 and 2.6 as well as a collection of user applications, libraries and tool chains. uClinux is mostly used in Embedded and Gaming device.

Joli OS - Cloud Operating System

Joli OS is a full OS replacement for old PC, turning your aging computer into a next generation cloud device. It is designed around the Jolidrive HTML5 interface. It comes with more than 1500 apps. It is designed for the cloud but works great offline too.

Kernel Development Kit (KDK)

Build your own os, with the help of Kernel Developent Kit. With minimal Assembly and C code, around 99.9% of the code is written in C++ using object oriented design.


'LightingBolt' is a fully-featured, preemptive, modular, real-time kernel developed for the ARM7/9 family of microcontroller.

procfs - procfs provides functions to retrieve system, kernel and process metrics from the pseudo-filesystem proc

This procfs package provides functions to retrieve system, kernel and process metrics from the pseudo-filesystem proc.WARNING: This package is a work in progress. Its API may still break in backwards-incompatible ways without warnings. Use it at your own risk.

dev-enigma - Let's implement an Enigma machine as a char device just for fun.

It is a way to put an Enigma Machine under your /dev sub-directory. Yes, it is about a char device which emulates an Enigma. The device was written to run on more than one platform. Well, I think that the Figure 1 clarifies any question about supported platforms.Figure 1: A lousy but effective joke.

linux-samus - Linux 4.13 on Pixel 2015

This repository contains packages for Debian and Arch Linux that installs the Linux kernel v4.10 with a config that is somewhat optimized for the Chromebook Pixel 2015.As of v4.9 there is no need to patch the kernel sources to get sound support.