Alexander Boettcher f7c0a480da codezero: fix compiler warnings int/unsigned ...

Warnings like the following:

warning: narrowing conversion of ‘((Genode::Platform_pd*)this)->Genode::Platform_pd::_space_id’ from ‘int’ to ‘Codezero::l4id_t {aka unsigned int}’ inside { } is ill-formed in C++11 [-Wnarrowing]

2013-02-11 12:01:25 +01:00

..

base

base: add remove_client to rm_session

2013-02-11 12:01:25 +01:00

core

codezero: fix compiler warnings int/unsigned

2013-02-11 12:01:25 +01:00

kernel

Imported Genode release 11.11

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

platform

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00