Hi Genode hackers, I am did several printf to locate the error and it's
located on this lines
about line 226: static Rm_root rm_root (e, e, e, &sliced_heap,
core_env()->cap_session(),
platform()->vm_start(),
platform()->vm_size());
about line 80: Platform_generic *Genode::platform() {
return platform_specific();
}
about line 73: Platform *Genode::platform_specific()
{
static Platform _platform;
return &_platform;
}
best regards waldo