ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-11 13:22:33 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

loader: make CPU session upgradable

Browse Source 
Fixes
This commit is contained in:
Norman Feske 2014-11-23 15:48:29 +01:00 committed by Christian Helmuth
parent 623bc82e07
commit cb4302d06a
1 changed files with 6 additions and 0 deletions

6
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(); }
}
};
/**