mbed library sources. Supersedes mbed-src.
Fork of mbed-dev by
Diff: platform/mbed_interface.c
- Revision:
- 160:d5399cc887bb
- Parent:
- 149:156823d33999
--- a/platform/mbed_interface.c Tue Feb 28 17:13:35 2017 +0000 +++ b/platform/mbed_interface.c Tue Mar 14 16:40:56 2017 +0000 @@ -17,10 +17,10 @@ #include "platform/mbed_interface.h" #include "hal/gpio_api.h" -#include "platform/wait_api.h" -#include "platform/semihost_api.h" +#include "platform/mbed_wait_api.h" +#include "platform/mbed_semihost_api.h" #include "platform/mbed_error.h" -#include "platform/toolchain.h" +#include "platform/mbed_toolchain.h" #if DEVICE_SEMIHOST