From: Ben Pfaff Date: Sat, 1 Jan 2005 23:21:51 +0000 (+0000) Subject: Add a suggestion to use `backtrace' and a reference to the manual to X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eb5ba83c314e0074e2b280516e3e30b8626c638f;hp=eb5ba83c314e0074e2b280516e3e30b8626c638f;p=pintos-anon Add a suggestion to use `backtrace' and a reference to the manual to the message printed by debug_panic(). Improve backtrace program. Document improvements. ---