diff --git a/repos/base-nova/src/core/platform.cc b/repos/base-nova/src/core/platform.cc
index 884ddbaaa7..efe63d09db 100644
--- a/repos/base-nova/src/core/platform.cc
+++ b/repos/base-nova/src/core/platform.cc
@@ -837,7 +837,6 @@ Platform::Platform()
 		if (phys_ptr == nullptr)
 			break;
 
-		log("Mapping mem for cap range ", i);
 		addr_t phys_addr = reinterpret_cast<addr_t>(phys_ptr);
 		addr_t core_local_addr = _map_pages(phys_addr, 128);
 
@@ -845,7 +844,6 @@ Platform::Platform()
 			ram_alloc().free(phys_ptr);
 			break;
 		}
-		log("Creating cap range ", i, " at ", reinterpret_cast<void*>(core_local_addr));
 
 		Cap_range &range = *reinterpret_cast<Cap_range *>(core_local_addr);
 		construct_at<Cap_range>(&range, index);
@@ -853,7 +851,6 @@ Platform::Platform()
 		cap_map().insert(range);
 
 		index = (unsigned)(range.base() + range.elements());
-		log("Created cap range ", i, " at ", reinterpret_cast<void*>(core_local_addr));
 	}
 	_max_caps = index - first_index;
 
diff --git a/repos/base/src/core/topo_session_component.cc b/repos/base/src/core/topo_session_component.cc
index 42102eb3bd..736ff8ae17 100644
--- a/repos/base/src/core/topo_session_component.cc
+++ b/repos/base/src/core/topo_session_component.cc
@@ -42,7 +42,7 @@ void Topo_session_component::construct()
     unsigned curr_node_id = 0;
     Topology::Numa_region *node_created = new (_md_alloc) Topology::Numa_region[64]();
 
-    Genode::log("[", label(), "] Creating new topology model of size ", width, "x", height);
+    //Genode::log("[", label(), "] Creating new topology model of size ", width, "x", height);
 
     for (unsigned x = 0; x < width; x++)
     {
@@ -58,14 +58,14 @@ void Topo_session_component::construct()
             unsigned cpu_id = platform_specific().kernel_cpu_id(loc);
             unsigned native_id = platform_specific().domain_of_cpu(cpu_id);
 
-            log("[", label(), "] CPU (", x, "x", y, ") is native CPU ", cpu_id, " on node ", native_id);
+            //log("[", label(), "] CPU (", x, "x", y, ") is native CPU ", cpu_id, " on node ", native_id);
 
             if (node_created[native_id].core_count() == 0)
             {
                 _nodes[curr_node_id] = _node_affinities[x][y] = Topology::Numa_region(curr_node_id, native_id);
                 _node_affinities[x][y].increment_core_count();
                 node_created[native_id] = _node_affinities[x][y];
-                log("[", label(), "] Found new native NUMA region ", native_id, " for CPU (", x, "x", y, ")");
+                //log("[", label(), "] Found new native NUMA region ", native_id, " for CPU (", x, "x", y, ")");
                 _node_count++;
                 curr_node_id++;
             }