#kernel (30 Repositories)
Ranked open-source repositories tagged with #kernel, scored by pull request acceptance likelihood and maintainer engagement velocity.
69.8%
40.2h
30 repositories tagged #kernel
DecapodLabs/decapod
Repo-native governance kernel for bounded, convergent, proof-backed agent work.
jameschapman19/cca_zoo
Canonical Correlation Analysis Zoo: A collection of Regularized, Deep Learning based, Kernel, and Probabilistic methods in a scikit-learn style framework
iopsystems/rezolus
High-resolution, low-overhead systems and service telemetry
armbian/build
The official build framework for the Armbian Linux distribution. This repository contains the complete toolchain and scripts required to compile custom OS images from source, including kernel configuration, U-Boot handling, and board-specific tweaks for various ARM and ARM64 single-board computers.
KSwordDEV/KSword
[Windows toolkit for ARK] KSword 5.1 is an open-source Windows toolkit for ARK, kernel debugging, and system forensics. KSword 5.1 是面向 Windows 的开源 ARK、内核调试与系统取证工具集。
u-root/u-root
A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.
google/syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
cilium/cilium
eBPF-based Networking, Security, and Observability
dabao1955/kernel_build_action
An github action to build kernel automatically[force push warning!]
asterinas/asterinas
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
cilium/tetragon
eBPF-based Security Observability and Runtime Enforcement
trailofbits/mquire
Zero-dependency Linux memory forensics, leveraging kernel-embedded BTF and kallsyms for type-aware memory analysis without external debug info.
tock/tock
A secure embedded operating system for microcontrollers
hermit-os/kernel
A Rust-based, lightweight unikernel.
KernelSU-Next/KernelSU-Next
An advanced Kernel based root solution for Android
reactos/reactos
A free Windows-compatible Operating System
SerenityOS/serenity
The Serenity Operating System 🐞
Locietta/xanmod-kernel-WSL2
Xanmod kernel for WSL2, built by clang with ThinLTO enabled. Build & Release are automated by Github Action.
bmax121/APatch
The patching of Android kernel and Android system
Luce-Org/lucebox
LLM speculative inference server for consumer & heterogeneous hardware
google/gvisor
Application Kernel for Containers
kmesh-net/kmesh
High Performance ServiceMesh Data Plane Based on eBPF and Programmable Kernel
frednora/gramado
Gramado OS
CachyOS/copr-linux-cachyos
CachyOS Packages for Fedora
cilium/pwru
Packet, where are you? -- eBPF-based Linux kernel networking debugger
kubearmor/KubeArmor
Runtime Security Enforcement System. Workload hardening/sandboxing and implementing least-permissive policies made easy leveraging LSMs (LSM-BPF, AppArmor).
tiann/KernelSU
A Kernel based root solution for Android
diodesign/diosix
A lightweight, robust, multiprocessor bare-metal hypervisor written in Zig for RISC-V
mewz-project/mewz
A unikernel designed specifically for running Wasm applications and compatible with WASI
CachyOS/linux-cachyos
Archlinux Kernel based on different schedulers and some other performance improvements.