mbed-os SD card driver and associated test cases - View it on GitHub