Pyxis OS for Arduino
Chief among Pyxis' list of features is its built-in ability to run compiled programs directly from a microSD card. Pyxis can switch between these programs and run as many as you can fit on your card.
The Pyxis programming language not only allows you to take advantage of many of the commands you're used to when developing for a standard Arduino (such as pinMode, digitalRead/Write, analogRead/Write, delay and more) but also expands on them with built-in LCD functions (such as drawLine, fillEllipse, etc).
In addition to using the Pyxis programming language you can access, modify and control the Pyxis OS directly from the Arduino environment. Libraries give you access to powerful abilities that are simply not available without Pyxis. For example, create a Textbox, Button, Progressbar, Combobox, or Checkbox in a single line of code and let Pyxis do all the work of tracking the object and updating the screen for you!
Official website : http://www.skewworks.com