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 extern int cmd_gdb(int, char **); 9 10 #endif 11