Update platform drivers

Revision:
9:9e247b9c9abf
Parent:
8:70fc373a5f46
--- a/src/gpio_extra.h	Wed Feb 26 06:09:13 2020 +0000
+++ b/src/gpio_extra.h	Mon Jun 15 13:03:55 2020 +0000
@@ -55,7 +55,9 @@
 * @brief GPIO specific descriptor for the mbed platform.
 */
 typedef struct mbed_gpio_desc {
+	uint8_t direction;
 	void *gpio_pin;     	// GPIO pin instance (DigitalIn/DigitalOut)
+	uint8_t pin_mode;
 } mbed_gpio_desc;