From 759af6d9c1f09f4b31a4fcc269914f55c6c142f7 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Sat, 18 Feb 2012 01:33:31 +0100 Subject: [PATCH] Accessor to obtain parent cap of child This is needed for the fork support of Noux. --- base/include/base/child.h | 1 + 1 file changed, 1 insertion(+) diff --git a/base/include/base/child.h b/base/include/base/child.h index 6a1beecac6..02038bf8e9 100644 --- a/base/include/base/child.h +++ b/base/include/base/child.h @@ -402,6 +402,7 @@ namespace Genode { Ram_session_capability ram_session_cap() const { return _ram; } Cpu_session_capability cpu_session_cap() const { return _cpu; } Rm_session_capability rm_session_cap() const { return _rm; } + Parent_capability parent_cap() const { return cap(); } /** * Discard all sessions to specified service