summaryrefslogtreecommitdiff
path: root/printpcs
diff options
context:
space:
mode:
Diffstat (limited to 'printpcs')
-rwxr-xr-xprintpcs11
1 files changed, 11 insertions, 0 deletions
diff --git a/printpcs b/printpcs
new file mode 100755
index 0000000..32b33cc
--- /dev/null
+++ b/printpcs
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+# Decode the symbols from a panic stack trace on stdin
+
+if which addr2line
+then
+ p="addr2line"
+else
+ p="i386-jos-elf-addr2line"
+fi
+echo grep '^ ' | $p -e kernel $*