Norman Feske ee2d45164e Fix possible int overflow reported by gcc-4.7

2012-11-01 17:03:13 +01:00

..

doc

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

include

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

lib

Move 'Child' API implementation to library

2012-10-09 13:45:33 +02:00

src

Fix possible int overflow reported by gcc-4.7

2012-11-01 17:03:13 +01:00