Hi all,

I have a L4Linux kernel module which creates a kernel thread, but the
new thread and the module has the same L4 thread ID [l4_myself()] while
their PIDs are different as usual.

Is this correct?

Thanks
Leon



_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to