| 1 |
douglas |
2 |
--- gdb/main.c.orig Thu Apr 15 22:40:39 2004 |
| 2 |
|
|
+++ gdb/main.c Thu Apr 15 22:47:51 2004 |
| 3 |
|
|
@@ -66,6 +66,12 @@ |
| 4 |
|
|
/* Whether dbx commands will be handled */ |
| 5 |
|
|
int dbx_commands = 0; |
| 6 |
|
|
|
| 7 |
|
|
+#ifdef KGDB |
| 8 |
|
|
+/* Kernel debugging support. */ |
| 9 |
|
|
+int kernel_debugging; |
| 10 |
|
|
+int kernel_writablecore; |
| 11 |
|
|
+#endif |
| 12 |
|
|
+ |
| 13 |
|
|
/* System root path, used to find libraries etc. */ |
| 14 |
|
|
char *gdb_sysroot = 0; |
| 15 |
|
|
|
| 16 |
|
|
@@ -311,6 +317,12 @@ |
| 17 |
|
|
{"statistics", no_argument, 0, OPT_STATISTICS}, |
| 18 |
|
|
{"write", no_argument, &write_files, 1}, |
| 19 |
|
|
{"args", no_argument, &set_args, 1}, |
| 20 |
|
|
+#ifdef KGDB |
| 21 |
|
|
+ {"kernel", no_argument, &kernel_debugging, 1}, |
| 22 |
|
|
+ {"k", no_argument, &kernel_debugging, 1}, |
| 23 |
|
|
+ {"wcore", no_argument, &kernel_writablecore, 1}, |
| 24 |
|
|
+ {"w", no_argument, &kernel_writablecore, 1}, |
| 25 |
|
|
+#endif |
| 26 |
|
|
{0, no_argument, 0, 0} |
| 27 |
|
|
}; |
| 28 |
|
|
|
| 29 |
|
|
@@ -857,6 +869,11 @@ |
| 30 |
|
|
--interpreter=INTERP\n\ |
| 31 |
|
|
Select a specific interpreter / user interface\n\ |
| 32 |
|
|
"), stream); |
| 33 |
|
|
+#ifdef KGDB |
| 34 |
|
|
+ fputs_unfiltered (_("\ |
| 35 |
|
|
+ --kernel Enable kernel debugging.\n\ |
| 36 |
|
|
+"), stream); |
| 37 |
|
|
+#endif |
| 38 |
|
|
fputs_unfiltered (_("\ |
| 39 |
|
|
--mapped Use mapped symbol files if supported on this system.\n\ |
| 40 |
|
|
--nw Do not use a window interface.\n\ |
| 41 |
|
|
@@ -874,6 +891,12 @@ |
| 42 |
|
|
#if defined(TUI) |
| 43 |
|
|
fputs_unfiltered (_("\ |
| 44 |
|
|
--tui Use a terminal user interface.\n\ |
| 45 |
|
|
+"), stream); |
| 46 |
|
|
+#endif |
| 47 |
|
|
+#ifdef KGDB |
| 48 |
|
|
+ fputs_unfiltered (_("\ |
| 49 |
|
|
+ --wcore Make core file writable (only works for /dev/mem).\n\ |
| 50 |
|
|
+ This option only works while debugging a kernel !!\n\ |
| 51 |
|
|
"), stream); |
| 52 |
|
|
#endif |
| 53 |
|
|
fputs_unfiltered (_("\ |
