https://developer.mbed.org/handbook/mbed-SDK-porting eg. https://github.com/mbedmicro/mbed/blob/master/libraries/mbed/hal/gpio_api.h