A trivial Linux kernel module to execute WBINVD on demand
GPL-2.0 License
Portable C and C++ Development Kit for x64 (and x86) Windows
Yet another simple kernel
A tiny C header-only risc-v emulator.
Linux kernel for Netgear Stora MS2110.
Padavan
FlashDB BSP for auto test
As-vanilla-as-possible AMD XNU kernel.
dtrace for linux - kernel driver and userland tools
Scaffolding for BPF application development with libbpf and BPF CO-RE