When You Come to a Fork in the Road, Take It - Finding Configuration Constraints in Linux Kernel
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it Explore the complexities of Linux kernel configuration in this 36-minute conference talk. Delve into the challenges of maintaining a highly configurable system and learn about unexpected interactions between configuration options. Discover the first steps towards addressing these maintenance challenges, focusing on mapping code back to controlling configurations. Examine the Linux build system as a code generation process using metaprogramming, and understand how configuration localization involves finding the inverse of the build process. Learn about tools like SuperC, Kmax, and Kclause that aid in configuration-preserving preprocessing, collecting Makefile conditions, and converting Kconfig files into logical formulas. Gain insights into using boolean logic to represent code "buildability" and how configuration localization becomes a boolean satisfiability problem.