L4Linux Kernel Thread IDs

[Leon Brits]

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