ipc- where to send message(ipc).

manish regmi manish_regmi at hotmail.com
Wed May 26 05:55:48 CEST 2004

I am new to l4. Is it true that the allocation of tid is given to user. How 
do i know the tid of the server i am sending a msg to?
  What should i do for  a robust design. Giving a static tid for server 
threads is not flexible. What would be a more flexible way. What have others 


Tired of spam? Get advanced junk mail protection with MSN 8. 

More information about the l4-hackers mailing list