X10 (#4377)

[X10] New radio supported!
2017-02-04 10:42:50 +01:00
parent ebee591990
commit 40ece81de2
79 changed files with 1947 additions and 1370 deletions
@@ -38,6 +38,9 @@ extern "C" {
 typedef void (*traceCallbackFunc)(const char * text);
 extern traceCallbackFunc traceCallback;
 void debugPrintf(const char * format, ...);
+#elif defined(SEMIHOSTING)
+#include <stdio.h>
+#define debugPrintf(...) printf(__VA_ARGS__)
 #elif defined(DEBUG) && defined(CLI) && defined(USB_SERIAL)
 #define debugPrintf(...) do { if (cliTracesEnabled) serialPrintf(__VA_ARGS__); } while(0)
 #elif defined(DEBUG) && defined(CLI)