/*
** Copyright 2002, Manuel J. Petit. All rights reserved.
** Distributed under the terms of the NewOS License.
*/
#ifndef _KERNEL_GDB_H
#define _KERNEL_GDB_H

extern int cmd_gdb(int, char **);

#endif
