Christian Helmuth
05b7c3ae3d
base-foc: Improve documentation of signal_session
...
Fixes #566 .
2013-03-06 11:23:52 +01:00
Norman Feske
73ab30c22c
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
Stefan Kalkowski
ae8cf5f44d
Rename tid() to dst() in Native_capability.
...
As suggested by Norman in the discussion of issue #145 , this commit
renames the tid() accessor in Native_capability to dst().
2012-03-10 15:52:19 +01:00
Stefan Kalkowski
c9c21ad39c
Merge Native_capability implementations ( fix #145 ).
...
This patch unifies the Native_capability classes for the different kernel
platforms by introducing an appropriate template, and eliminating naming
differences. Please refer issue #145 .
2012-03-08 18:42:39 +01:00
Norman Feske
08ce32215d
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
Genode Labs
da4e1feaa5
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00