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

#ifdef __cplusplus
extern "C"
#endif

int cmd_gdb(int argc, char** argv);

#endif