SYNOPSIS

undertaker-kconfigdump

DESCRIPTION

This script should be run with the current directory set to the top level of a Linux kernel source tree. It extracts information from the Kconfig files, and processes that information to produce a model.

ENVIRONMENT VARIABLES

MODELS

If set, the directory where models are placed. Default: "model".

DEBUG

If set (to any value), print some debug information.

AUTHOR

Written by the VAMOS team <URL:http://vamos.informatik.uni-erlangen.de>

REPORTING BUGS

Report bugs to <[email protected]>.

RELATED TO undertaker-kconfigdump…