29 lines
832 B
C
29 lines
832 B
C
|
#include <stdio.h>
|
||
|
#include <gpxe/init.h>
|
||
|
#include <console.h>
|
||
|
#include <realmode.h>
|
||
|
|
||
|
extern char __text[];
|
||
|
extern char __rodata[];
|
||
|
extern char __data[];
|
||
|
extern char __bss[];
|
||
|
extern char __text16[];
|
||
|
extern char __data16[];
|
||
|
|
||
|
|
||
|
static void gdb_symbol_line ( void ) {
|
||
|
printf ( "Commands to start up gdb:\n\n" );
|
||
|
printf ( "gdb\n" );
|
||
|
printf ( "target remote localhost:1234\n" );
|
||
|
printf ( "add-symbol-file symbols %#lx", virt_to_phys ( __text ) );
|
||
|
printf ( " -s .rodata %#lx", virt_to_phys ( __rodata ) );
|
||
|
printf ( " -s .data %#lx", virt_to_phys ( __data ) );
|
||
|
printf ( " -s .bss %#lx", virt_to_phys ( __bss ) );
|
||
|
printf ( " -s .text16 %#x", ( ( rm_cs << 4 ) + (int)__text16 ) );
|
||
|
printf ( " -s .data16 %#x", ( ( rm_ds << 4 ) + (int)__data16 ) );
|
||
|
printf ( "\n" );
|
||
|
getkey();
|
||
|
}
|
||
|
|
||
|
INIT_FN ( INIT_GDBSYM, gdb_symbol_line, NULL, NULL );
|