Is it possible to upload a sketch to Arduberry directly from OSX? Or must you use the Arduino IDE running on a Rpi?
— The reply: —
To answer your question: yep, you can write your Arduino sketch on a PC or a Mac. To run it on the Arduberry though, you need to get it onto your Raspberry Pi. So you could definitely write the file, test it on an Arduino, and troubleshoot all you like. When you’re ready or you need to, you can take the file and put it on a USB stick, load it on your pi, and run it!