/usr/lib/grub/i386-pc/gmodule.pl is in grub-pc-dbg 2.02~beta2-9ubuntu1.6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 | ###
### Generate GDB commands, that load symbols for specified module,
### with proper section relocations. See .gdbinit
###
### $Id: gmodule.pl,v 1.2 2006/05/14 11:38:42 lkundrak Exp lkundrak $
### Lubomir Kundrak <lkudrak@skosi.org>
###
use strict;
while (<>) {
my ($name, %sections) = split;
print "add-symbol-file $name.module";
open (READELF, "readelf -S $name.mod |") or die;
while (<READELF>) {
/\[\s*(\d+)\]\s+(\.\S+)/ or next;
if ($2 eq '.text') {
print " $sections{$1}";
next;
}
print " -s $2 $sections{$1}"
if ($sections{$1} ne '0x0');
};
close (READELF);
print "\n";
}
|