The Arduino TRE is expected to be available in spring 2014.
formatting link
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