I'd guess that pin compatibility with existing Arduino shields is pretty important. Also, the TRE has both an AVR processor which can run the standard Arduino code as well as an ARM processor for running Linux. So you could use the AVR for low-latency polling of the GPIO pins while using the ARM for communicating over what looks like an ethernet port, four USB ports, two audio jacks, and an HDMI port.