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 15