Joe Perches <j...@perches.com> writes: > (cc's trimmed and rpjday added) > > On Wed, 2010-06-09 at 11:58 +0200, Christoph Egger wrote: >> I've been running a check on the arch/powerpc sourcetree for >> config Items not defined in Kconfig and found5 such chases. > > Are you aware of > http://www.crashcourse.ca/wiki/index.php/Kernel_cleanup_scripts
Yes, we are. These scripts aim at a very similar goal. However, we are using a more sound approach that actually involves parsing CPP statements and the kconfig language and checking the resulting constraints with SAT solving tools. This way, we get way more precise results. You can read about our approach in [1]. [1] http://portal.acm.org/citation.cfm?id=1629732 -- Reinhard Tartler Department of Computer Science IV Martensstr 1, 91058 Erlangen Germany, University of Erlangen-Nuremberg http://www4.informatik.uni-erlangen.de/~tartler _______________________________________________ Linuxppc-dev mailing list Linuxppc-dev@lists.ozlabs.org https://lists.ozlabs.org/listinfo/linuxppc-dev
