About Aditya Venkatesh Kulkarni
Upstreaming a Crypto Driver To The Linux Kernel: From Patch to Mainline
A complete step-by-step guide: from first patch to mainline Linux. In Part 1 of this series, we took a crypto driver from working code to something the Linux kernel community can take seriously — clean builds, zero static analysis warnings, a validated DT binding, and checkpatch errors at zero. Now the work shifts. This second […]
Read More
Upstreaming a Crypto Driver To The Linux Kernel: Preparing Your Driver
A complete step-by-step guide: from first patch to mainline Linux You’ve built a crypto driver for your hardware accelerator. It works, it’s tested, and it handles your engine’s SHA, AES, and AEAD operations correctly. Now what? If you keep it out-of-tree, you’ll fight every kernel upgrade, carry your own […]
Read More
Smatch: The Deep Analyzer
A 101 Guide for Driver Developers on Path-Sensitive Analysis and State Tracking
Read More
Sparse: The Type System Guardian
Sparse enforces kernel pointer annotations GCC ignores. Catch __user, __iomem & endianness bugs early. A practical guide for Linux driver developers.
Read More
Coccinelle: The Semantic Patch Master
Static analysis helps you catch issues like type mismatches, memory leaks, null pointer dereferences, and incorrect API usage before your code runs.
Read More