linux: move CONFIG_BOOKE_WDT to the generic config
[openwrt.git] / docs / debugging.tex
2009-01-06 florianMake the doc slightly more complete and add notes on...