Hello, I have the following scenario were everything goes just wrong.
I have only one task running, which creates a thread using l4_thread_ex_regs ... after a 4 secs. sleep using l4_ipc_receive it changes the eip value of the thread to a piece of code that reads:
void always_release() { for(;;) l4_thread_switch(L4_NIL_ID); }
After doing this the main thread (# 0) tries to wait 4 secs. using l4_ipc_receive again and then change the eip of the created thread to its old eip. The problem is that the main thread never wakes up. I mean, after the 4 secs. have passed ... the main thread is still blocked. Are we in prescence of a bug ?
Cheers.
Cervi~no Ulises kermit@tower.com.ar ulises@rosario.linux.org.ar ............................................................................... "Contrary to popular opinion, Unix is user friendly, It just happens to be very selective about who it makes friends with."
l4-hackers@os.inf.tu-dresden.de