From 020acb4f10832d0c003f24272b75a95859d4188f Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Thu, 23 Aug 2012 09:35:00 -0400
Subject: [PATCH] For the convenience of students

---
 printpcs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 printpcs

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 $*