Shuckc ported Contiki OS 2.5 to run on the web platform. Now some additional documentation is available to help get you started with this port.
Contiki is an open source operating system for embedded devices. It supports both IPv4 and IPv6 internet protocols, and is not too taxing on memory, usually taking around 40KB of ROM and a few K of RAM.
Get an assembled web platform for $40, including worldwide shipping.