|
|
|
@ -29,13 +29,13 @@ namespace Genode {
|
|
|
|
|
|
|
|
|
|
private:
|
|
|
|
|
|
|
|
|
|
Rom_session_capability _create_session(const char *filename, const char *label)
|
|
|
|
|
Rom_session_capability _create_session(const char *module_name, const char *label)
|
|
|
|
|
{
|
|
|
|
|
try {
|
|
|
|
|
return session("ram_quota=4K, filename=\"%s\", label=\"%s\"",
|
|
|
|
|
filename, label ? label: filename); }
|
|
|
|
|
module_name, label ? label: module_name); }
|
|
|
|
|
catch (...) {
|
|
|
|
|
PERR("Could not open file \"%s\"", filename);
|
|
|
|
|
PERR("Could not open ROM session for module \"%s\"", module_name);
|
|
|
|
|
throw Rom_connection_failed();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|