1// KernelDebug.h
2
3#ifndef USERLAND_FS_KERNEL_DEBUG_H
4#define USERLAND_FS_KERNEL_DEBUG_H
5
6class KernelDebug {
7public:
8	static	void				AddDebuggerCommands();
9	static	void				RemoveDebuggerCommands();
10
11private:
12	static	int					DebugUFS(int argc, char** argv);
13	static	int					DebugPortPool(int argc, char** argv);
14	static	int					DebugPort(int argc, char** argv);
15};
16
17// no kernel debugger commands in userland
18#if USER
19inline void KernelDebug::AddDebuggerCommands()		{}
20inline void KernelDebug::RemoveDebuggerCommands()	{}
21#endif
22
23#endif	// USERLAND_FS_KERNEL_DEBUG_H
24