1#!/bin/sh 2 3# Decode the symbols from a panic EIP list 4 5# Find a working addr2line 6for 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 11done 12 13# Enable as much pretty-printing as this addr2line can do 14$p $($p -h | grep ' -[aipsf] ' | awk '{print $1}') -e kernel "$@" 15