genode

History

Julian Stecklina 9508cc0ed5 Fixed wrong sign extension in printf on 64 bit This patch fixes printf errors caused by sign extension of values that were supposed to be unsigned. Fixes #6. Also handles the case where sizeof(long long) != sizeof(long).		2012-02-14 16:44:43 +01:00
..
base	Fixed wrong sign extension in printf on 64 bit	2012-02-14 16:44:43 +01:00
core	Handle corner case in nested RM handling	2012-01-23 21:04:57 +01:00
lib	Support for building all libs via 'make lib'	2012-01-24 18:56:35 +01:00
platform	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
test	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
README	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00

This directory contains all source codes.