mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-16 06:08:16 +00:00
Let reload_parent_cap take the new cap as agument
This commit is contained in:
@ -361,6 +361,14 @@ namespace Genode {
|
||||
*/
|
||||
~Platform_env() { parent()->exit(0); }
|
||||
|
||||
/**
|
||||
* Reload parent capability and reinitialize environment resources
|
||||
*/
|
||||
void reload_parent_cap(Capability<Parent>)
|
||||
{
|
||||
/* not supported on Linux */
|
||||
}
|
||||
|
||||
|
||||
/*******************
|
||||
** Env interface **
|
||||
|
Reference in New Issue
Block a user