- The command "mount" will give you a list of all mounted disks/filesystems. - If you run "dmesg" after the micro:bit is plugged in the kernel messages at the end might tell you if its detected as a disk or something else ( serialport ? ) - To manually mount it would be a command like "sudo mount /...

Hi, newbie here. I have dug out an old Pi B+ and connected the micro:bit to it.
How can I move my .hex files to the microbit for execution?
Thanks for any help in advance!