printpcs (367B)
1 #!/bin/sh 2 3 # Decode the symbols from a panic EIP list 4 5 # Find a working addr2line 6 for p in i386-jos-elf-addr2line addr2line; do 7 if which $p 2>&1 >/dev/null && \ 8 $p -h 2>&1 | grep -q '\belf32-i386\b'; then 9 break 10 fi 11 done 12 13 # Enable as much pretty-printing as this addr2line can do 14 $p $($p -h | grep ' -[aipsf] ' | awk '{print $1}') -e kernel "$@"