From 4ba17f7ebdba28bb3cc72700104809ab1dbc07c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Thu, 28 Mar 2013 12:58:10 +0100
Subject: [PATCH] core: use label for init's Cpu_session

Fixes #789.
---
 base/src/core/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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_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 */