Arduino Yùn integrates an ATmega32u4 with another processor with an embedded Linux distribution. So what if you connect a SoC like Raspberry PI with an Arduino based board? Ardulink open source software can implement this connection just with an USB cable.