Welcome to Mini Microbit Handle repository
1.3 How to import tiny:bit library
1. You need to connect BBC micro:bit board to your computer. You will see a letter drive, as shown below:
2. You need to send “tinybit_micropython.hex” we provided to micro:bit board. As shown below:
Enter the micropython editor and click 【REPL】 in the menu bar. If the prompt "MicroPython for Tinybit Modified by Yahboom Team" appears in the lower left corner of the interface, as shown below. It proves that you have successfully imported our library file.
3. Next, you can start programming with Micropython, as shown below:

4. You need to close【REPL】 before clicking 【Flash】 to download the program.
!Note:
If you downloaded other programs on your BBC micro: bit board, except tiny:bit micropython program.
Before you next use Micropython to program Building:bit, you need to send “tinybit_micropython.hex” to BBC micro:bit again.
If you always use the same BBC micro: bit for Building:bit Micropython programming, you didn't need to send the “tinybit_micropython.hex” file to the micro: bit multiple times.