I noticed a post a while back about the BeagleBone Black and picked one up. It's a great little board which runs Linux and has two additional real time cores. I wanted to put a note out to those looking for a Linux board that is a little more powerful at a reasonable price. There is a Kickstarter project named UDOO that has married an Arduino Due to a Linux/Android SBC with Wifi and Bluetooth included. The quad core board is only $129. It ends in about 20 hours. Check it out here UDOO . The UDOO and the BeagleBone Black are powerful enough to self host the gcc compiler and tools.
"Peace Love Linux"