Contiki OS

Contiki OS is an operating system for embedded systems.

Webpage: http://www.contiki-os.org/

Sources on Github: https://github.com/contiki-os/contiki

Installation on Ubuntu

(not the instant Coontiki in VM)

sudo apt-get install openjdk-7-jdk ant libncurses-dev

Getting the sources:

git clone https://github.com/contiki-os/contiki
git submodule update --init