[ixp1200] inter_thread signals

[chompi at softhome.net]

Hi all, 

While trying to debug the transmit code (in microC) for Gigabit ports on 
ENP2506 board, i realized that the threads are not able to send or receive 
or both the inter_thread signal, i.e. a ctx_wait(inter_thread) instruction 
will wait forever. In simulation mode with DevWorkBench, the same code works 
fine. Did anyone encounter this before? Also, how can I check if a signal is 
sent? 

Thanks,
Chompi