We conducted our experiments by booting the machine into single-user mode to minimize noise from other processes running on the system.Our baseline,unless otherwise noted, is a native FreeBSD kernel compiled with the LLVM 3.1 compiler and configured identically to our Virtual Ghost FreeBSD kernel.