GitHub repository: AndSk/mbed_gcc_makefile
Description: mbed GCC Makefile for mbed platforms