pcDuino

https://www.sparkfun.com/products/11712

hmmm... looks like the Teensy 3 could easily provide some intelligent GPIO via UART to this micro PC.
Unlike the Raspberry Pi, this ARM board will support HTML5.
Two ADC channels with 6 bits of resolution @ 250 Hz sampling - amazing new technology.
Note: There are also some 10 bit channels at the fast 250 Hz sample rate.

That thread was fascinating to read with more to come!

I am a newbie to all of the Arduino, Raspi, Teensy ... and now pcDuino.

Can you discuss a little how the Teensy 3.o & pcDuino would work together, please?

Thanks! David

Since both the PI and Teensy 3 have a serial port then it only the matter of connecting the Tx/Rx up to form a serial connection. The PI would then issue serial commands to the Teensy 3 via serial port. In response, the Teensy 3 would do PWM, input/output digitals or read analog inputs and send this data back to the PI.