L4Linux Kernel Thread IDs

Adam Lackorzynski adam at os.inf.tu-dresden.de
Fri Apr 8 23:05:19 CEST 2005

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?


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

More information about the l4-hackers mailing list