diff --git a/base/src/core/main.cc b/base/src/core/main.cc index 06dc783223..f28a65e0f8 100644 --- a/base/src/core/main.cc +++ b/base/src/core/main.cc @@ -219,7 +219,7 @@ int main() = static_cap_cast(ram_root.session("ram_quota=32K")); Ram_session_client(init_ram_session_cap).ref_account(env()->ram_session_cap()); - Cpu_connection init_cpu; + Cpu_connection init_cpu("init"); Rm_connection init_rm; /* transfer all left memory to init, but leave some memory left for core */