2008/1/24, Adam Lackorzynski <[EMAIL PROTECTED]>: > No, the thread is still alive, the '(deleted)' just means that it has > already been unregistered at the name service.
Name service data is stored into fiasco data to be shown into jdb ? > Could you verify the theory that the threadlib has some strange state at > that time? So basically that l4thread_get_prio is returning -L4_EINVAL Yes, return value is -L4_EINVAL. > and then what the value of l4th_tcbs[thread].state in l4th_tcb_get is > (include/__tcb.h). state of thread is 4 : TCB_SHUTDOWN. Hope this helps ? Regards Marc _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers