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};