From 9f2115ee4173a235adaa08a8e97fdc3f5026577b Mon Sep 17 00:00:00 2001 From: Sebastian Sumpf 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 30e63c70..339325d0 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), };