From f23d3cb66bf14f3b34d1ef4a035997eb8f9fa5b9 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Thu, 26 Apr 2012 15:07:14 +0200 Subject: [PATCH] Increase the JDB kernel object names buffer size This patch increases 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. Fixes #191. --- base-foc/patches/README | 6 ++++++ base-foc/patches/jdb_kobject_names.patch | 13 +++++++++++++ 2 files changed, 19 insertions(+) create mode 100644 base-foc/patches/jdb_kobject_names.patch diff --git a/base-foc/patches/README b/base-foc/patches/README index 543e94196..f9fbcb5ed 100644 --- a/base-foc/patches/README +++ b/base-foc/patches/README @@ -12,3 +12,9 @@ required for using this kernel with Genode. On the occurrence of undefined-instruction exceptions on ARM, Fiasco.OC reports a wrong program-counter value to the exception handler. The patch fixes the problem. + +:'jdb_kobject_names.patch': + + This patch increases 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. \ No newline at end of file diff --git a/base-foc/patches/jdb_kobject_names.patch b/base-foc/patches/jdb_kobject_names.patch new file mode 100644 index 000000000..c3f655031 --- /dev/null +++ b/base-foc/patches/jdb_kobject_names.patch @@ -0,0 +1,13 @@ +Index: kernel/fiasco/src/jdb/jdb_kobject_names.cpp +=================================================================== +--- kernel/fiasco/src/jdb/jdb_kobject_names.cpp (revision 38) ++++ kernel/fiasco/src/jdb/jdb_kobject_names.cpp (working copy) +@@ -43,7 +43,7 @@ + + enum + { +- Name_buffer_size = 8192, ++ Name_buffer_size = 4*8192, + Name_entries = Name_buffer_size / sizeof(Jdb_kobject_name), + }; +