The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)
TeX 8.6k 623
Compact and Efficient RISC-V RV32I[MAFC] emulator
C 593 153
Traditional Chinese translation of "What Every Programmer Should Know About Memory"
CSS 352 37
Complementary Concurrency Programs for course "Linux Kernel Internals"
C 437 95
A live technical interview simulator
Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon
A linguistic linter for Traditional Chinese (zh-TW)
MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration
An experimental HTTP server implemented as Linux kernel module
Demo pages for rv32emu in user-mode and system emulation
The prebuilt binary files used by rv32emu
Boot a real Linux kernel as an in-process library (LKL) and route intercepted syscalls to it via seccomp
This organization has no public members. You must be a member to see who’s a part of this organization.