Perhaps you know about this already but.
http://dunkels.com/adam/contiki/
Groepaz has made a gp32 version of the os. will be fun if it can be networked somehow over usb. webserver running on the gp32
http://dunkels.com/adam/contiki/
Groepaz has made a gp32 version of the os. will be fun if it can be networked somehow over usb. webserver running on the gp32