genode

History

Norman Feske b01a1a92cc Do not pass client tid to server on IPC call Thanks to the SCM-rights-based reply capability, the server does not need to know about the client's TID anymore.		2012-11-05 17:31:03 +01:00
..
etc	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
include	linux: Fix 'explicit_reply' semantics	2012-11-05 17:31:03 +01:00
lib	Hardening compilation support for 64bit Linux	2012-06-21 00:50:18 +02:00
mk	Hardening compilation support for 64bit Linux	2012-06-21 00:50:18 +02:00
run	Merge final fixes from internal repositories	2011-12-23 14:04:29 +01:00
src	Do not pass client tid to server on IPC call	2012-11-05 17:31:03 +01:00
README	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00

This repository contains the Linux-specific implementation of Genode.