I second that request. I'm trying to figure out which of the two OS ports (Contiki or FreeRTOS) is the best starting point for my experiments. They have advantages and disadvantages. I like the Contiki port because it has lower memory usage and a good network stack but that port lacks the SD Card/FatFS support. Adding that would likely chew up the ram available. On the other hand the FreeRTOS port has support for the SD Card but its network stack is missing NTP. Also I found that it has problems with stack overflows after a while and giving it more ram is likely to leave nothing for my app development.
What I'd like to do is grab adc data, do some processing on it, and send the results in udp packets, while supporting a web server for monitoring and control. So the Contiki port looks closest, but I'd really like to use the SD card if possible for another logging type application. I'm wondering if it will really be possible in 8K of ram.