Eric uploaded his FreeRTOS port for the web platform, give it a try:
At this point I would say the code is at a pre-alpha release stage but it does run. The DHCP client will acquire an IP address and a web server will be started. The web server will read files from the /www directory on the microSD card. Currently long file names are not supported so all files must follow the 8.3 naming convention. Therefore, create an /www/index.htm file for the default page. (I also added a /www/favicon.ico from the DP site to mine:) The USB serial port is set for 115200 baud 8,N,1 and will provide status messages. At this point the console will echo characters you type back to you but that is all it does.
Grab the FreeRTOS port for the web platform from SVN. Our SVN tutorial is here. There’s a new FreeRTOS wiki page for your notes.
Get an assembled web platform for $40, including worldwide shipping. Web platform v1.1 is in stock and shipping now.
Via the forum.