// KernelDebug.h

#ifndef USERLAND_FS_KERNEL_DEBUG_H
#define USERLAND_FS_KERNEL_DEBUG_H

class KernelDebug {
public:
        static  void                            AddDebuggerCommands();
        static  void                            RemoveDebuggerCommands();

private:
        static  int                                     DebugUFS(int argc, char** argv);
        static  int                                     DebugPortPool(int argc, char** argv);
        static  int                                     DebugPort(int argc, char** argv);
};

// no kernel debugger commands in userland
#if USER
inline void KernelDebug::AddDebuggerCommands()          {}
inline void KernelDebug::RemoveDebuggerCommands()       {}
#endif

#endif  // USERLAND_FS_KERNEL_DEBUG_H