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