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