I wonder , when building a HW product what embedded platform people here use for manufacturing ? Arduino/Mbed/plain microcontroller?

And if you use arduino , how do you manage the need to release object files (according to the arduino license) ?