Intel’s first 32 bit Arduino, called Arduino Galileo
Intel’s device is called Arduino Galileo and has a 400Mhz Intel Quark X1000 single-core, single-thread 32 bit processor. It comes with a 10/100Mb/s Ethernet port, a full PCI Express 2.0 mini-card slot, USB 2.0 micro controller, JTAG header, an 8MB of Flash for the bootloader, 512KB of embedded SRAM and 256 MB of DRAM and support up to 32 GB of extra storage.
The first Intel-powered Arduino will be officially released at the end of November 2013.
Arduino TRE: The first Arduino to run a full Linux distribution
Also, the Arduino TRE has been announced, with a 1GHz Sitara AM335x processor processor, becoming the first Arduino ARM board to work with a full Linux distribution. Other hardware specifications: DDR3L 512 MB RAM, 10/100Mb.s Ethernet port, 1 USB 2.0 device port, 4 USB 2.0 host ports, HDMI port. For a full list of specs, see this link on the official page.
Arduino TRE is designed in partnership with BeagleBoard.org and is built from two Arduinos, actually, the Sitara-processor-based Arduino plus the Atmel microcontroller based Arduino.
Arduino TRE will be officially available in 2014.