mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-10 13:11:32 +00:00
db2b1a37ae
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.