Description of task

The FreeBSD developers handbook outlines multiple ways to debug the system's kernel to find bugs and errors. What's missing is debugging the system using DCons. The steps to do so have been outlined in the following FreeBSD wiki page: http://wiki.freebsd.org/DebugWithDcons This needs to be written as a subsection in the debugging chapter: http://www.freebsd.org/doc/en_US.ISO8859-1/books/developers-handbook/kerneldebug.html so that developers can find enough information to use DCons for that purpose. The subsection needs to be correctly formatted and must conform to our documentation source code style guidelines.

Task requires:


A FreeBSD system (in a VirtualBox Virtual Machine) installed on your computer. 
Knowledge of the documentation guidelines for the FreeBSD project: http://www.freebsd.org/doc/en_US.ISO8859-1/books/fdp-primer/ 
Check out a copy of the documentation tree from the documentation repository to get the source code for the chapter