2016-11-02: cocoOS and networking! I have reworked the LwIP tcp echo server example project for STM32F4Discovery with the expansion board STM32F4DIS-BB for use with cocoOS!
It will not compile right out of the box, there are some dependencies to stuff in my build environment that you will have to provide your own implementation for. But the example demonstrates the use of cocoOS with LwIP which is the important issue here.
I will put up more examples later. Get the files here!

Fixed bug causing tasks beeing suspended forever. Also made the functions for suspending and resuming tasks, take the task id as input parameter instead of a pointer to the task procedure. This is better as two different tasks can share the same task procedure.

2011-12-14: Beta release version 3.0.0b3. The sub clocks can be incremented in any step size with os_sub_nTick( uint8_t id, uint16_t nTicks).

2011-12-08: Beta release of cocoOS version 3.0.0b2. Support for any number of clocks. By using task_wait_id(clockID, nTicks) can a task be put to wait for nTicks of the clock with id clockID. The clock is incremented by calling os_sub_tick( clockID ).

Support for sending delayed messages. When posting a message, the task can specify a delay before the message will be delivered to the receiving task.

2010-11-18, Release 2.1.0:

Changed implementation of message queues. The queues holds messages, not pointers to messages as in previous implementation. Also the post and receive operation has a cleaner interface. Read more about messages.

2010-11-17:Bugfix 2.0.1 uploaded. Different types was used for an internal state variable at different locations.

2010-11-14: Finally cocoOS 2.0.0 is released!

Version 2.0.0 is a major rework of cocoOS. A complete new API is introduced. Also new with this release is the implementation of message queues.