Kernel Timing Instrumentation

Cesar Marcondes (cesar at cs dot ucla dot edu)
July 7th 2005

Applying Kernel Patch 
FreeBSD 5.4.1 RELEASE

1) Copy the relevant patch from this release
   to the target machine

2) cd /usr/src
   patch < /path/to/patch
   
3) Recompile the kernel as described
http://www.freebsd.org/doc/en_US.ISO8859-1/
books/handbook/kernelconfig-building.html

4) Reboot the system