From 8bc719ee1de506c93808716aa88157343c633e90 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 5 Mar 2013 09:45:02 +0100
Subject: [PATCH] nova: show badge as name during page fault message

---
 base-nova/src/core/include/util.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/base-nova/src/core/include/util.h b/base-nova/src/core/include/util.h
index 44772f80a..b4bee00fc 100644
--- a/base-nova/src/core/include/util.h
+++ b/base-nova/src/core/include/util.h
@@ -39,10 +39,10 @@ namespace Genode {
 	                             Rm_session::Fault_type pf_type,
 	                             unsigned long faulter_badge)
 	{
-		printf("%s (%s pf_addr=%p pf_ip=%p from %02lx)\n", msg,
+		printf("%s (%s pf_addr=%p pf_ip=%p from %02lx %s)\n", msg,
 		       pf_type == Rm_session::WRITE_FAULT ? "WRITE" : "READ",
 		       (void *)pf_addr, (void *)pf_ip,
-		       faulter_badge);
+		       faulter_badge, reinterpret_cast<char *>(faulter_badge));
 	}