1 /* Native-kernel debugging definitions for FreeBSD.
8 extern int kernel_debugging;
9 extern int kernel_writablecore;
10 extern struct target_so_ops kgdb_so_ops;
12 #define ADDITIONAL_OPTIONS \
13 {"kernel", no_argument, &kernel_debugging, 1}, \
14 {"k", no_argument, &kernel_debugging, 1}, \
15 {"wcore", no_argument, &kernel_writablecore, 1}, \
16 {"w", no_argument, &kernel_writablecore, 1},
18 #define ADDITIONAL_OPTION_HELP \
20 --kernel Enable kernel debugging.\n\
21 --wcore Make core file writable (only works for /dev/mem).\n\
22 This option only works while debugging a kernel !!\n\
25 #define DEFAULT_PROMPT kernel_debugging?"(kgdb) ":"(gdb) "
27 /* misuse START_PROGRESS to test whether we're running as kgdb */
28 /* START_PROGRESS is called at the top of main */
30 #define START_PROGRESS(STR,N) \
31 if (!strcmp (STR, "kgdb")) \
34 #endif /* FBSD_KGDB_H */