f9micro/f9-kernel — pull request #75 by georgekang (2014-03-03 10:47:39+00:00)
Title: Fix some bugs in ipc_deliver

1. Issue#72
2. typed message would not be copied to receiver.
3. Can not do ipc while thread is not in SEND_BLOCKED or RECV_BLOCKED