I now use an Arduino Yun board for my devs,
It uses a 32u4 ATMEL 16MHz MCU & 400MHz ARM CPU both combined.
My Web IDE allows to edit content & source code for .ino (mcu), .lua, .js, .python, .cpp (cpu)
The TextComponent is based on CodeMirror (https://codemirror.net/) & allows the syntax highlighting.
It can (directly from your browser) compile code for 32u4 MCU using an embeded AVRtoolchain (http://forum.arduino.cc/index.php?topic=280091.0)
It is also used to launch mp3 playback on the USB Sound Dungle
Now : let's see what it can do w/ my HUI subproject...
The new connector (that uses a legacy DB9) it contains SERIAL (but not RS232) & USB lines (for sound and kbd connected to hub that take now place in HUI)
the final pinout...
If you're interested by the system configuration, follow this link