${HEADER}
Within the FreeBSD Perforce repository, there is a TESLA branch located at
//depot/projects/ctsrd/tesla/src
.
To build the FreeBSD base system with TESLA instrumentation, first set up your environment, then run make in the FreeBSD source tree with the following variables:
After the build is complete, there will be a kernel.instrumented
file alongside kernel
in
$OBJDIR/sys/TESLA
.