Bibliography

1

The GNU Project Debugger, http://www.gnu.org/software/gdb

2

DDB, FreeBSD Kernel Interfaces Manual, http://www.FreeBSD.org/cgi/man.cgi

3

kgdb, FreeBSD General Commands Manual, http://www.FreeBSD.org/cgi/man.cgi

4

Kernel Debugging, FreeBSD Developers' Handbook, http://www.FreeBSD.org/doc/en/books/developers-handbook

5

Mutex, FreeBSD Kernel Developer's Manual, http://www.FreeBSD.org/cgi/man.cgi

6

RMLock, FreeBSD Kernel Developer's Manual, http://www.FreeBSD.org/cgi/man.cgi

7

RWLock, FreeBSD Kernel Developer's Manual, http://www.FreeBSD.org/cgi/man.cgi

8

SX, FreeBSD Kernel Developer's Manual, http://www.FreeBSD.org/cgi/man.cgi

9

Lock, FreeBSD Kernel Developer's Manual, http://www.FreeBSD.org/cgi/man.cgi

10

ASF, FreeBSD System Manager's Manual, http://www.FreeBSD.org/cgi/man.cgi

11

IPMItool, http://ipmitool.sourceforge.net