L4Linux Kernel Thread IDs

[Adam Lackorzynski]

On Wed Apr 06, 2005 at 10:35:24 +0200, Leon Brits wrote:
> 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?

Yes.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/