Merge branch 'master' of github.com:mmueller41/genode

This commit is contained in:
Michael Mueller
2022-07-11 14:41:59 +02:00

View File

@@ -28,7 +28,7 @@ namespace Hello {
struct Hello::Session_component : Genode::Rpc_object<Session>
{
unsigned int _id;
unsigned short _id;
Session_component(unsigned short id) : Genode::Rpc_object<Session>(), _id(id) {}