2 Commits

Author	SHA1	Message	Date
Christian Prochaska	f23d3cb66b	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.	2012-05-09 20:56:49 +02:00
Genode Labs	da4e1feaa5	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00