genode/base-foc/src
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
..
base Rename tid() to dst() in Native_capability. 2012-03-10 15:52:19 +01:00
bootstrap Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
core Rename tid() to dst() in Native_capability. 2012-03-10 15:52:19 +01:00
kernel Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
platform Merge Native_capability implementations (fix #145). 2012-03-08 18:42:39 +01:00
sigma0 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00