src/system/kernel/debug/gdb.h

   1 /*
   2 ** Copyright 2002, Manuel J. Petit. All rights reserved.
   3 ** Distributed under the terms of the NewOS License.
   4 */
   5 #ifndef _KERNEL_GDB_H
   6 #define _KERNEL_GDB_H
   7
   8 #ifdef __cplusplus
   9 extern "C"
  10 #endif
  11
  12 int cmd_gdb(int argc, char** argv);
  13
  14 #endif