Track Program_Counter(PC)/regs of L4Linux Task

Adam Lackorzynski adam at
Mon Dec 19 13:38:24 CET 2005

On Fri Dec 16, 2005 at 21:44:01 -0500, Julian Grizzard wrote:
> >>   the entry functions for these threads are
> >>   irq_dev_thread --- the main handler
> >>   l4lx_irq_dev_startup_hw  --- gets irq_dev_thread started
> > 
> > Not only irq threads but also all other threads that may be allocated by
> > stubs etc.
> okay, so I think I found the easiest solution to my question, which is
> to grep through the L4Linux source for l4lx_thread_create.  I assume
> that all L4 threads in L4Linux are created through that API except

All threads should be created through this API, yes.

> threads 0 and 1 which you explained are created by the L4Env startup.

And thread 2, which is the thread where main is running.

Adam                 adam at

More information about the l4-hackers mailing list