Add a simple os to arduino,it is based on contiki,if you want use it
,you just include iduino.h in the top of you app,also, you can still use
contiki directly if you didn't include iduino.h