John Mitchell / DMSupport

Subdirectory provided by Embedded Artists

Dependencies:   DM_FATFileSystem DM_HttpServer DM_USBHost EthernetInterface USBDevice mbed-rpc mbed-rtos mbed-src

Dependents:   lpc4088_displaymodule_hello_world_Sept_2018

Fork of DMSupport by Embedded Artists

Diff: Bios/BiosLoader.cpp

Revision:
40:6df4f63aa406
Parent:
34:fc366bab393f
--- a/Bios/BiosLoader.cpp	Tue Apr 28 11:47:20 2015 +0000
+++ b/Bios/BiosLoader.cpp	Wed Jun 10 09:54:15 2015 +0000
@@ -15,6 +15,7 @@
  */
 
 #include "mbed.h"
+#include "us_ticker_api.h"
 #include "BiosLoader.h"
 #include "DMBoard.h"
 #include "BiosEEPROM.h"