This procedure has to be followed only if the MBED mass storage it isn’t recognized when you connect the board to the PC and the MBED drivers are installed in windows. The board uses the MK20 microprocessor in order to implementing the MBED interface. In this guide we will upload the firmware for the MK20. In this way the MBED interface will work again.