A versatile (cross-)toolchain generator.

A simple, kernel-space, on-disk filesystem from the scratch

A simple native file system for Linux kernel

A maintained ctags implementation

Core KernelCI tools

A minimalist C compiler with x86_64 code generation

Kernel Test Framework - a unit test framework for the Linux kernel

Userspace eBPF VM

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Trusted side of the TEE

Read-only mirror of Trusted Firmware-A

🌀 A nonsense activity generator

Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel

Userspace TCP/IP stack for Linux

Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)

KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel

The GNU MCU Eclipse QEMU

Application Kernel for Containers

RISC-V Linux Port

Caffe: a fast open framework for deep learning.

Build a minimal multi-tasking OS kernel for ARM from scratch

syzkaller is an unsupervised coverage-guided kernel fuzzer

The seL4 microkernel

LK embedded kernel

A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model

SHMA: Software-managed Caching for Hybrid DRAM/NVM Memory Architectures, implemented with zsim and nvmain hybrid simulators

JSON for Modern C

Syzygy Transformation Toolchain

Dirty COW

Computing with traps