Sebastian Sumpf 6d3331e788 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-02-14 16:53:37 +01:00

kernel/fiasco

JBD: Increase name buffer to 32K

2013-02-14 16:53:37 +01:00

l4

i.MX53 support

2013-02-14 16:53:37 +01:00

tools/preprocess

FOC/L4RE: Upstream revision 40

2013-01-11 17:00:47 +01:00

repomgr

FOC/L4RE: Upstream revision 40

2013-01-11 17:00:47 +01:00

Description

No description provided

25 MiB

Languages

C 66.5%

C++ 20.5%

Assembly 6.7%

Makefile 3.2%

Perl 1%

Other 1.9%