When we use the Export compiled Binary option, we expected two hex files to be generated, one "with bootloader" and one without; however, only one hex file is created, presumably without bootloader ...

New issue Open Open how can I get the HEX file from Arduino for microbit #454 radinParsaei opened on Apr 1, 2021 ...

For instance, Adafruit has provided the files needed for the ESP8266, which recently received the Arduino treatment.