GSoC/GCI Archive
Google Code-in 2011 FreeBSD

Write a section in the FreeBSD developers handbook about debugging the kernel with DCons

completed by: issyl0

mentors: Gavin Atkinson

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: This needs to be written as a subsection in the debugging chapter: 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: 
Check out a copy of the documentation tree from the documentation repository to get the source code for the chapter