os/include/osdebug.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#ifndef __OSDEBUG_H__
#define __OSDEBUG_H__

#include <BoardConsole.h>

void osDbgPrintf(const char * fmt, ...);

#ifdef FULLDEBUG
#define DBGOUT osDbgPrintf
#else
#define DBGOUT(...)
#endif

#endif