/* 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 */