Parent interface

Class Genode::Parent::Exception

Inherits from

public ::Genode::Exception

Class Genode::Parent::Service_denied

Inherits from

public Exception

Class Genode::Parent::Quota_exceeded

Inherits from

public Exception

Class Genode::Parent::Unavailable

Inherits from

public Exception

Class Genode::Parent

Public definitions

Enum

MSGBUF_SIZE 256

Public functions

announce

Announce service to the parent

Arguments
char * service_name
Root_capability service_root
Return

int

close

Close session

Argument
Session_capability session

exit

Tell parent to exit the program

Argument
int exit_value

session

Create session to a service

Arguments
char * service_name Name of the requested interface
char * args Session constructor arguments
Return

Session_capability Capability to new session

By convention, an argument value for ram_quota must be specified in args. The specified amount of RAM will be donated to the session-providing service.

transfer_quota

Transfer our quota to the server that provides the specified session

Arguments
Session_capability to_session Recipient session
char * amount Description of the amount of quota to transfer

The amount argument has the same principle format as the args argument of the session function. The error case indicates that there is not enough unused quota on the source side.