Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/

A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling

The Reliable USB Formatting Utility

The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)

Windows Subsystem for Linux

a Productive Parallel Programming Language

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)

A simple native file system for Linux kernel

An event-driven and non-blocking web server

A small and efficient web server with 1K lines of C code

Restoration of 1st Edition UNIX kernel sources from Bell Laboratories

Samples demonstrating how to use Scikit-learn to build machine-learning models

可以查找所有irent現有的空車，還能指定時間與車款

🔎 📈 🐍 💰 Backtest trading strategies in Python.

LinuxKI Toolset (Trace-based performance analysis tool)

The ZAP by Checkmarx Core project

Open source 5G core network based on 3GPP R15

Automatic SQL injection and database takeover tool