Just picked up an Arduboy at the Bay Area Maker Faire. My daughter is excited about programming it.
Unfortunately, Apple has recently instated a rootless security system that requires "signed kexts" for all USB drivers. So far I have been unable to get the Arduboy to show up as a serial device. I assume the problem is related to the new requirement for signed drivers.
It appears that the Leonardo/atmega32u4 does not use an ftdi or a prolific usb chip which do have signed usb drivers available for the Mac. The Winchiphead CH34x series of usb interface chips don't have signed drivers available at this time and as such are now "bricked".
I am reading that we should not expect the folks over at Winchiphead (www.wch.cn) to release a signed driver for the Mac anytime soon. My suggestion is that the next generation of Arduboy's keep this in mind and upgrade to a Mac compatible ftdi or prolific usb interface.
I am not familiar with the current usb chip in the Arduboy/atmega32u4. Is it in fact based on the Winchiphead CH34x?
My intermediate solution will be to dig out an old MacBookPro that runs OS 10.5. Not sure if the latest version of Arduino IDE will be compatible.