Abstract. Large product lines have complex build systems, which obscure mapping of features to code. We extract this mapping out of the build systems of two operating systems kernels, Linux and FreeBSD. The mapping is presented as a set of presence conditions relating code fragments to features. We characterize them and make available for use as a benchmark for analysis tools for variability modeling. We hope that this work will enable the study of real-world variability models and the creation of new, scalable product-lines design and analysis tools.