/* * Configurable information for the trace driver. */ #define __KERNEL__ 1 #include "conf.h" int TRACE_BUF_LEN = TRACE_BUF_LEN_SPEC; #if 0 unsigned char traceBuf [TRACE_BUF_LEN_SPEC]; #endif