genode/base-linux/include/base
Norman Feske c09cd2d1a7 Merge of initial SCM rights code
This patch, which was originally created by Christian Helmuth,
represents the first step towards using SCM rights as capability
mechanism on Linux. It employs the SCM rights mechanism for transmitting
a reply capability to the server as argument of each IPC call. The
server will then send its respond to this reply file descriptor. This
way, the reply channel does not need to be globally visible anymore.
2012-11-05 17:31:03 +01:00
..
ipc_msgbuf.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
local_interface.h Rename tid() to dst() in Native_capability. 2012-03-10 15:52:19 +01:00
native_types.h Merge of initial SCM rights code 2012-11-05 17:31:03 +01:00
pager.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
platform_env.h Provide cpu_session_cap via environment object 2012-10-24 11:34:33 +02:00