L4Linux Kernel Thread IDs

[Leon Brits]

...this is on l4linux 2.4.28

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