NAME¶
undertaker-kconfigdump - get a configuration dump from a Linux kernel tree
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 <vamos-dev@i4.informatik.uni-erlangen.de>.
SEE ALSO¶
undertaker(1) undertaker-kconfigdump(1),
undertaker-linux-tree(1).