The Arduino TRE is expected to be available in spring 2014.

http://arduino.cc/en/Main/ArduinoBoardTre#.Uw-9mWeYa
70

Technical Specifications (preliminary)

Microcontroller Atmel ATmega32u4
Clock Speed 16 MHz
Flash Memory 32 KB (ATmega32u4)
SRAM 2.5 KB (ATmega32u4)
EEPROM 1 KB (ATmega32u4)
Digital I/O Pins (5V logic) 14
PWM Channels (5V logic) 7
Analog Input Channels 6 (plus 6 multiplexed on 6 digital pins)


Processor Texas Instrument Sitara AM3359AZCZ100 (ARM Cortex-A8)
Clock Speed 1 GHz
SRAM DDR3L 512 MB RAM
Networking Ethernet 10/100
USB port 1 USB 2.0 device port, 4 USB 2.0 host ports
Video HDMI (1920x1080)
Audio HDMI, stereo analog audio input and output
Digital I/O Pins (3.3V logic) 12
PWM Channels (3.3V logic) 4
MicroSD card
Support LCD expansion connector