eBPF-based Networking, Security, and Observability
-
Updated
Jun 12, 2024 - Go
A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.
eBPF-based Networking, Security, and Observability
Kernel.org kernel built for debian
The Keyronex Operating System
A tiny real-time kernel focusing on formal reliability and simplicity.
RT-Thread is an open source IoT real-time operating system (RTOS).
Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf
syzkaller is an unsupervised coverage-guided kernel fuzzer
This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.
High Performance ServiceMesh Data Plane Based on Programmable Kernel
Installing a 100% libre(free) linux kernel for wsl,It is possible to celebrate freedom within a cell. 给WSL替换自由内核!!!
🥑 A modern delightful operating system
The Serenity Operating System 🐞