This discussion helped me. I thought the IDE produced pseudo code, that was executed in an emulator on the Linux side, much like Java.
Given that it is a Linux executable, and multiple may be running at the same time - how is the sketch reset button implemented, and which executable gets it?
