core: use label for init's Cpu_session

Fixes #789.
This commit is contained in:
Josef Söntgen 2013-03-28 12:58:10 +01:00 committed by Norman Feske
parent dad3f32d0b
commit 4ba17f7ebd

View File

@ -219,7 +219,7 @@ int main()
= static_cap_cast<Ram_session>(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 */