(.hex file) al micro:bit. Para ello, siga los siguientes pasos: Descargue el ejemplo (archivo zip) que está disponible en la sección "Descargas" de la página de producto KSR20: https://www.velleman.eu/downloads/files/downloads/ksr20-tobbie-ii-microbit.zip Conecte la micro:bit al ordenador con el cable micro-USB.