I wanted to say I successfully uploaded some code on the Digispark Pro from a machine running OpenBSD.
I haven't used the arduino IDE yet. I'm curious about writing the program in C, so I compiled the instruction directly with the version of avr-gcc shipped with the OS and uploaded the hex file with the micronucleus command line.
By the way, it doesn't compile out of the box currently. The makefile only support Linux, Darwin and windows. I put a pull request on the micronucleus's git to add OpenBSD. I couldn't test other BSD so I didn't put them.
