kconfgen (pypi): A generator of (minimal) Linux kernel configuration files.
Keywords: kconfgen|kconfig|kernel|linux|configuration|generator