From cb4302d06afe2d1626913b7aad09481e5a32837a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 23 Nov 2014 15:48:29 +0100
Subject: [PATCH] loader: make CPU session upgradable

Fixes #1379
---
 repos/os/src/server/loader/main.cc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/os/src/server/loader/main.cc b/repos/os/src/server/loader/main.cc
index 6569611f3..e1950106e 100644
--- a/repos/os/src/server/loader/main.cc
+++ b/repos/os/src/server/loader/main.cc
@@ -156,6 +156,12 @@ class Loader::Session_component : public Rpc_object<Session>
 				Cpu_session_client(cap).exception_handler(Thread_capability(), fault_sigh);
 				return cap;
 			}
+
+			void upgrade(Session_capability session, const char *args)
+			{
+				try { env()->parent()->upgrade(session, args); }
+				catch (Genode::Ipc_error)    { throw Unavailable();    }
+			}
 		};
 
 		/**