diff --git a/base-foc/patches/README b/base-foc/patches/README
index 543e94196a..f9fbcb5edc 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 0000000000..c3f6550311
--- /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),
+ };
+