DDE - The L4 Device Driver Environment: config.h Source File

00001 /**
00002  * \file    ddekit/include/config.h
00003  * \brief   Configuration file for ddekit.
00004  *
00005  * FIXME this file is empty
00006  */
00007 
00008 #ifndef __ddekit_config_h
00009 #define __ddekit_config_h
00010 
00011 #define DEBUG_MSG(msg, ...) ddekit_printf("%s: \033[35m"msg"\033[0m\n", __FUNCTION__, ##__VA_ARGS__)
00012 
00013 #endif /* __ddekit_config_h */