bar, search for nRF5 and install “Nordic Semiconductor. nRF5 Boards” by Sandeep Mistry. Select Board and Upload. Select BBC micro:bit from the Boards menu. Download