2 ** Copyright 2001-2004, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
5 #include <kernel/kernel.h>
6 #include <kernel/debug.h>
7 #include <kernel/arch/debug.h>
9 int arch_dbg_init(kernel_args
*ka
)
14 int arch_dbg_init2(kernel_args
*ka
)
19 void dbg_make_register_file(unsigned int *file
, const struct iframe
*frame
)
21 // XXX gdb stub for SH4 obviously not implemented.