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