Analysing the Kconfig semantics and its analysis tools.

Sascha El-Sharkawy, Adam Krafczyk, Klaus Schmid

Browse the full GPCE paper archive.