#include "host_driver.h" extern host_driver_t mbed_driver;