Remove files related to MBED OS (not mbedtls!) #428

Closed ewertons closed 1 year ago