Sebastian Sumpf 127e1f9219 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'

2013-07-16 12:23:14 +02:00

..

fiasco

JBD: Increase name buffer to 32K

2013-07-16 12:23:14 +02:00