This section describes our DeBox prototype implementation in FreeBSD and measures its overhead. We first describe the user-visible portion of DeBox, and then the kernel modifications. We compare overhead for DeBox support and active use versus an unmodified kernel. Examples of how to fully use DeBox and what kinds of information it provides are deferred to the case study in Section 5.
