Vitalinux DGA

Mis compañeros de tecnología tiene un problema en su clase de robótica.
La tarjeta que utilizan en programación y robótica es Micro:bit board V2. Es un sistema de Microsoft.
La plataforma para su programación es online, se llama MakeCode: https://makecode.microbit.org/#
Me comentan que los alumnos conectan mediante cable USB la tarjeta al ordenador, reconociéndola como una unidad de memoria externa / extraíble.
Una vez finalizan el diseño del programa, se descargan un archivo a la tarjeta. La forma de hacerlo puede ser: directa si reconoce el dispositivo (normalmente en Linux no lo reconoce) y si no, deben guardar un archivo con extensión .hex en alguna carpeta del ordenador. A continuación, seleccionan el archivo en cuestión y lo "copian y pegan" o "arrastran" a la unidad de Microbit (icono de memoria USB que crea el sist. operativo cuando reconoce la tarjeta)
En el proceso de "copia y pega", con el mensaje de que se está pegando el archivo, de repente el ordenador desconecta la tarjeta y la vuelve a conectar reconociéndola de nuevo. En ocasiones no concluye la transferencia del archivo y por tanto, no carga el programa a la tarjeta. Otra veces, pese a ocurrir esta "desconexión" el programa se transfiere con éxito.
Me indican que les interesaría ver si se puede hacer algo para minimizar los fallos o que sea algo más estable la transferencia de archivos y/o conexión. Parece que en Windows se comporta mejor.
Si es necesario hablar con ellos, decirme y les paso vuestro teléfono.
Gracias, un saludo.

Pilar Pérez