pid.c

嵌入式操作系统内核

char ker_pid_name[][256]={
	"pub/sub daemon",        // 0
	"kernel daemon",         // 1
	"kernel scheduler",      // 2 
	"malloc",                // 3
	"timer",                 // 4
	"adc",                   // 5
	"uart",                  // 6
	"sensor",                // 7 
	"user",                  // 8
	"rpc",                   // 9
	"radio",                 // 10
	"monitoring",            // 11
	"message queue",         // 12
	"function ptr ptr",      // 13
	"SOS Base",              // 14
	"time stamp service",    // 15
	"code memory manager",   // 16
	"code fetcher",          // 17
	"default loader",        // 18
};