Thank you for sharing these details!
For most of the boards it’s possible to use an sd-card or a usb key, and for some other devices, due to their specific design, it’s necessary to use the tools provided by the board manufacturer, some of which can only run on Linux. I will pass this information to our team and we’ll further look into what we can do to simplify the flashing process for this device types.
Best regards,
Alexandru