3 Commits

Author	SHA1	Message	Date
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
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