I wouldn't call that a "port" any more than running in Virtualbox or a BOCHS x86 emulator. This product is lacking in native tools for other platforms. I'm a programmer and have experience working with microcontrollers. Is there any technical documentation for the protocol the Windows software is using to communicate with these boards? I'm guessing it should not be terribly difficult for me to at least figure out how to flash my dna64 board with the base64-in-xml-in-a-zip firmware updates that are distributed in C on Linux and OS X. Virtualization is no fun.
