FreeBSD aims to provide a high-quality modern operating system, however adding new features inevitably introduces bugs. Although several kernel debugging tools have been added and evolved in the last years, the quality of the kernel problem reports show that only a few FreeBSD users know how (or are willing) to take advantage of them.