From 127e1f92198e191d1981246691d6d70b2bdd6841 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Fri, 11 Jan 2013 17:34:06 +0100
Subject: [PATCH] JBD: Increase name buffer to 32K

Increase the size of the JDB kernel object names buffer. The original size was
too small for some Genode scenarios and caused missing thread names in the
kernel debugger thread list.

Was: 'jdb_kobject_names.patch'
---
 kernel/fiasco/src/jdb/jdb_kobject_names.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/fiasco/src/jdb/jdb_kobject_names.cpp b/kernel/fiasco/src/jdb/jdb_kobject_names.cpp
index 813990ec..8983f698 100644
--- a/kernel/fiasco/src/jdb/jdb_kobject_names.cpp
+++ b/kernel/fiasco/src/jdb/jdb_kobject_names.cpp
@@ -43,7 +43,7 @@ IMPLEMENTATION:
 
 enum
 {
-  Name_buffer_size = 8192,
+  Name_buffer_size = 4*8192,
   Name_entries = Name_buffer_size / sizeof(Jdb_kobject_name),
 };