Add MKTRACE

kernel/Makefile

@@ -81,6 +81,10 @@ CPPFLAGS+= -DUSE_UPDATE
 CPPFLAGS+= -DUSE_STATECTL
 .endif
 
+.if ${USE_TRACE} != "no"
+CPPFLAGS+= -DUSE_TRACE
+.endif
+
 # These come last, so the profiling buffer is at the end of the data segment
 SRCS+= profile.c do_sprofile.c
 

kernel/config.h

@@ -20,7 +20,6 @@
 #define USE_EXEC       	   1	/* update process after execute */
 #define USE_CLEAR	   1	/* clean up after process exit */
 #define USE_EXIT	   1	/* a system process wants to exit */
-#define USE_TRACE      	   1	/* process information and tracing */
 #define USE_GETKSIG    	   1	/* retrieve pending kernel signals */
 #define USE_ENDKSIG    	   1	/* finish pending kernel signals */
 #define USE_KILL       	   1 	/* send a signal to a process */