From 89413370addebb9c4e840d031e5238f9dd8d162e Mon Sep 17 00:00:00 2001 From: Sebastian Sumpf Date: Fri, 11 Jan 2013 17:34:06 +0100 Subject: [PATCH] FOC: Increase name buffer of JDB 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 a4e65b95..f0acde0f 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), };