As you know dsPIC series microcontorllers are 16bit. So if you compile cocoOS with new version you can get "warning: cast to pointer from integer of different size" warning message.
If you want to fix that you have to do these:
1) From os_defines.h
typedef uint32_t Mem_t;
to
typedef uint16_t Mem_t;
2) From os_msgqueue.c in function "MsgQAllDelayed"
uint32_t nextMessage;
to
uint16_t nextMessage;
After that you will not get any warning message.