pcduino3 has been available for a while now with wifi built in - I've found these boards quite useful for mobile applications. I've been using them to run a django app quite nicely where the raspi wasn't quite powerful enough!
Oh, that sounds great! Is it Arduino compatible? How do you use all those libraries? I don't understand how something that runs Linux can be Arduino compatible, since Linux isn't a RTOS.
