genode

Files

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

2011-12-22 16:19:25 +01:00

2012-03-10 15:52:19 +01:00

2012-03-10 15:52:13 +01:00

2011-12-23 14:04:29 +01:00

2011-12-23 14:04:29 +01:00

2012-03-10 15:52:19 +01:00

README

2011-12-22 16:19:25 +01:00

This repository contains the Linux-specific implementation of Genode.