Kernel
Showing 36 of 36 projects
An application kernel for containers that provides strong isolation by implementing a Linux-like interface in memory-safe Go.
An open-source, community-driven real-time operating system (RTOS) designed for resource-constrained IoT devices.
A secure embedded operating system for microcontrollers that runs multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V platforms.
An unsupervised coverage-guided kernel fuzzer for finding bugs in operating system kernels like Linux, Windows, and BSD variants.
eBPF-based real-time security observability and runtime enforcement for Kubernetes and Linux systems.
Asterinas is a production-grade, memory-safe Linux alternative built from the ground up in Rust with a modern framekernel architecture.
eBPF-based Linux kernel networking debugger for tracing and filtering network packets with fine-grained introspection.
A modern operating system written in Rust that explores intralingual design, shifting OS responsibilities like resource management into the compiler.
An operating system construction kit for building bare-metal OSes using managed .NET languages like C# and VB.NET.
A high-level neural network API for specifying and analyzing infinite-width neural networks as Gaussian Processes in Python.
A Linux Kernel Module (LKM) rootkit for hiding processes, granting root privileges, and making files invisible.
A modern, fast, and useful operating system written in the V programming language, targeting 64-bit hardware.
A Linux eBPF rootkit demonstrating offensive capabilities with backdoor, C2, library injection, execution hijacking, persistence, and stealth modules.
A Unix-like, Linux-compatible kernel written in Rust with an asynchronous core and modular architecture.
Jupyter magics and kernels for interactively working with remote Spark clusters via Livy, Lighter, or Ilum.
A text-based hobby operating system written in Rust for x86-64, inspired by Unix, Plan 9, and DOS.
A Flappy Bird clone written in 16-bit x86 assembly that runs directly on hardware without an operating system.
A rootkit that leverages eBPF to implement offensive security techniques like container breakouts, network scanning, and RASP bypass.
An experimental operating system kernel written in Rust, featuring a custom object-based syscall API and kernel-provided window manager.
An experimental free and open-source PlayStation 4 kernel rewritten in Rust, designed to run PS4 system software on Windows, Linux, and macOS.
A hardware-assisted feedback fuzzing framework for discovering vulnerabilities in x86-64 OS kernels.
An operating system kernel and userland written entirely in the D programming language.
F# kernel for Jupyter notebooks, enabling interactive data science and exploration with F#.
A fuzzer for Linux kernel drivers that combines interface recovery via LLVM analysis with a fuzzing engine to find security vulnerabilities.
Toro is a unikernel for deploying applications as microVMs using virtio-fs and virtio-vsocket with a minimalistic architecture.
Rust library providing a unified high-level API for managing WireGuard interfaces across kernel and userspace implementations.
Automated setup and configuration script for NVIDIA Jetson boards, handling updates, kernel patches, ROS installation, and performance tuning.
Loadable kernel modules for Android reversing and debugging on controlled systems and emulators.
An autonomous open-source security agent for Linux that detects, scores, and automatically responds to threats using eBPF, AI, and collaborative defense.
A non-preemptive kernel operating system written in Rust for single-core ARMv8 architecture.
A well-formatted and improved tracer for system calls and signals, designed for clarity when debuggers fall short.
A Jupyter kernel for the Coq proof assistant, enabling interactive theorem proving in notebooks.
A complete Ada port of the OSDev Bare Bones tutorial for building a minimal operating system kernel.
A multi-processor, 64-bit, formally-verified general-purpose operating system for x86-64, written in SPARK/Ada.
A from-scratch x86_64 operating system kernel built with Rust and Assembly.
Kernex extends JAX with kmap and kscan for differentiable stencil computations, enabling efficient array transformations.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.