In this session, we present the DiffKemp project - a tool for automatic analysis of code differences between two versions of the Linux kernel. The tool partially automates kernel option compatibility cross-check (sysctl variables, module parameters) which makes the process of the kernel development and deployment more efficient and reliable. The approach that we use is based on static analysis of the kernel source code, which makes sure that all program paths are covered. Moreover, we use advanced formal methods to prove an equivalence of semantics of programs even when the code is syntactically different.