Query: undertaker-kconfigdump
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
UNDERTAKER-KCONFIGDUMP(1) User Commands UNDERTAKER-KCONFIGDUMP(1)NAMEundertaker-kconfigdump - get a configuration dump from a Linux kernel treeSYNOPSISundertaker-kconfigdumpDESCRIPTIONThis 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 VARIABLESMODELS If set, the directory where models are placed. Default: "model". DEBUG If set (to any value), print some debug information.AUTHORWritten by the VAMOS team <URL:http://vamos.informatik.uni-erlangen.de>REPORTING BUGSReport bugs to <vamos-dev@i4.informatik.uni-erlangen.de>.SEE ALSOundertaker(1) undertaker-kconfigdump(1), undertaker-linux-tree(1). Undertaker 1.1 UNDERTAKER-KCONFIGDUMP(1)