From 75c515e5f8864ee595ff0de9e51135cd5260dba2 Mon Sep 17 00:00:00 2001
From: Kees Jongenburger <keesj@minix3.org>
Date: Wed, 2 Jan 2013 16:54:00 +0100
Subject: [PATCH] kernel:add a some information in backtraces.

* Display the pid and process name in the backtrace as we can
currently not read stackframes.

Change-Id: I2435d4098553c5b02adfe36f08b5aa3f47e9b531
---
 kernel/arch/arm/exception.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/arch/arm/exception.c b/kernel/arch/arm/exception.c
index 416dacb2e..2a2ca0f14 100644
--- a/kernel/arch/arm/exception.c
+++ b/kernel/arch/arm/exception.c
@@ -204,6 +204,8 @@ void exception_handler(int is_nested, reg_t *saved_lr, int vector)
  *===========================================================================*/
 static void proc_stacktrace_execute(struct proc *whichproc, reg_t v_bp, reg_t pc)
 {
+	printf("%-8.8s %6d 0x%lx \n",
+		whichproc->p_name, whichproc->p_endpoint, pc);
 }
 #endif