minix/kernel/system/debugging.c
2005-04-21 14:53:53 +00:00

16 lines
442 B
C

/* The system call implemented in this file:
* m_type: SYS_DEBUG
*
* The parameters for this system call are:
*/
#include "../kernel.h"
#include "../system.h"
#if ENABLE_K_DEBUGGING /* only include code if enabled */
/*==========================================================================*
* do_debug *
*==========================================================================*/
#endif /* ENABLE_K_DEBUGGING */