Extent,
Uvm_init,
Sysctl,
Sysctl.conf,
Pool,
Gdb,
Witness,
Crash,
Ctfstrip,
Hangman,
Nm,
Ddb DDB(4) - Device Drivers Manual # DDB(4) - Device Drivers Manual
NAME # ddb - kernel debugger
DESCRIPTION # The ddb debugger provides a means for debugging the kernel, and analysing the kernel after a system crash (“panic”), with a gdb(1)-like syntax.
ddb is invoked upon a kernel panic when the sysctl(8) ddb.panic is set to 1. It may be invoked from the console when the sysctl ddb.console is set to 1, using any of the following methods:
...
WITNESS(4) - Device Drivers Manual # WITNESS(4) - Device Drivers Manual
NAME # witness - lock validation facility
DESCRIPTION # The witness module keeps track of the locks acquired and released by each thread. It also keeps track of the order in which locks are acquired with respect to each other. Each time a lock is acquired, witness uses these two lists to verify that a lock is not being acquired in the wrong order.
...