Norman Feske db2b1a37ae Propagate process labels to PD sessions ... On Linux, we use the session label for naming the corresponding Linux process. When looking up the processes via 'ps', the Genode process hierarchy becomes immediately visible.		2012-11-05 17:31:04 +01:00
..
base	Move context area definition to native_type	2012-09-24 09:17:54 +02:00
okl4_pd_session	Propagate process labels to PD sessions	2012-11-05 17:31:04 +01:00