Logging Kernel Events

摘要

This document describes a feature to enhance the debugging facilities of the Teraoperating system. In particular, it details a mechanism to log kernel events with minimal overhead and in a way that is non-intrusive to the developer or system administrator.