Sebastian Sumpf 89413370ad FOC: Increase name buffer of JDB 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'

2017-05-03 13:41:37 +02:00

kernel/fiasco

FOC: Increase name buffer of JDB to 32K

2017-05-03 13:41:37 +02:00

l4

Sigma0: fix io-port allocation fault answer

2017-05-03 13:33:08 +02:00

COPYING-GPL-2

FOC/L4RE: Add license

2017-05-02 15:25:28 +02:00

repomgr

FOC/L4RE: Upstream revision 72

2017-05-02 15:25:27 +02: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%